A Computer Aided Design of a Secure Registration Protocol.
François GermeauGuy LeducPublished in: FORTE (1997)
Keyphrases
- computer aided design
- cryptographic protocols
- covert channel
- authentication protocol
- scalar product
- key distribution
- computer aided
- security analysis
- security protocols
- lightweight
- key exchange protocol
- key agreement protocol
- object oriented
- image registration
- group communication
- secure routing
- solid models
- computer graphics
- provably secure
- homomorphic encryption
- cad cam
- privacy preserving
- cad systems
- secure multi party
- multi party
- design process
- point cloud
- reverse engineering
- process planning
- finite element analysis
- rfid systems
- smart card
- standard model
- cad model
- design automation
- security requirements
- semi honest
- database
- key management
- public key
- computer assisted
- data model
- computer vision