The Use of Formal Methods for Trusted Digital Signature Devices.
Bruno LangensteinRoland VogtMarkus UllmannPublished in: FLAIRS Conference (2000)
Keyphrases
- formal methods
- digital signature
- smart card
- public key
- security mechanisms
- key management
- elliptic curve
- knowledge based systems
- model checking
- artificial intelligence
- digital watermarking
- formal specification
- public key infrastructure
- software engineering
- signature scheme
- data integrity
- embedded systems
- security properties
- machine learning
- rfid tags
- watermarking technique
- information security
- data model