The Cryptographic Abstract Machine.
Dean RosenzweigDavor RunjePublished in: Abstract State Machines (2004)
Keyphrases
- abstract machine
- data model
- smart card
- hash functions
- security protocols
- security properties
- key management
- real world
- secure communication
- digital signature
- multi agent
- differential power analysis
- encryption key
- cryptographic protocols
- mobile robot
- similarity measure
- database systems
- image processing
- metadata
- knowledge base
- search engine
- information retrieval