Main Menu
Home
About Us
Resources
Events
Advanced Search
PERSO WebSites
How To
Contact

  Domains
Biology
Chemistry
Civil engineering
Computer/Internet
Control
Economics
Education and Learning
Electricity
Electronic Sciences
Industrial Engineering
Management
Mathematics
Mechanical Engineering
Medical
philosophy & sciences
Physical Sciences
Telecommunication

  Last Added

PHDGRPOUP
 
  Document Info
A Tool helping to Design Cryptographic Protocols
 
Type: Présentation
langage: English
Title: A Tool helping to Design Cryptographic Protocols
Date (yyyy/mm/dd): 2005-06-18
 
Keywords: protocol security, AVISPA, validation, tools
Authors: SAR 2005, Laurent Vigneron
Other informations:
Domains: Mathematical Software, Programming, Software Design, Software Engineering, Information theory
 
To download documents, you must Login.
 
 
Abstract

Les protocoles cryptographiques sont devenus indispensables pour sécuriser les communications électroniques, toujours plus nombreuses et s'effectuant dans un environnement hostile en perpétuelle évolution. Ces protocoles doivent donc suivre ces évolutions et deviennent ainsi de plus en plus complexes : leur conception doit donc suivre une démarche rigoureuse, et inclure des vérifications automatiques afn de détecter au plus vite des failles.
Nous présenterons un outil, développé dans le cadre du projet AVISPA, qui propose un langage de haut niveau pour spécifier des protocoles, ainsi qu'un ensemble d'outils de vérification.

Advertisements

 
English Français
  Login
 Login
 Pass  
Forgot your password?
Not a member yet, join here

  News

  Related Links



Society of Chemical Industry
  Copyright © 2005-2012 Engineering and Scientific Research for Innovation (ESRInnov) | Privacy Policy  
version 1.1.9 Powered by InnovLine Webmaster
 

Online translation :