Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code.
Nicola DragoniFabio MassacciKatsiaryna NaliukaIda Sri Rejeki SiahaanPublished in: EuroPKI (2007)
Keyphrases
- digital signature
- security mechanisms
- key management
- data integrity
- private key
- public key
- security issues
- elliptic curve
- smart card
- public key cryptography
- security requirements
- resource constrained
- blind signature scheme
- access control
- information security
- network security
- security model
- security protocols
- distributed databases
- security analysis
- database design
- wireless sensor networks
- key distribution
- intrusion detection
- secret key
- signature scheme
- operating system
- ad hoc networks
- standard model
- software architecture
- cloud computing
- mobile computing