Procedural security analysis: A methodological approach.
Komminist WeldemariamAdolfo VillafioritaPublished in: J. Syst. Softw. (2011)
Keyphrases
- security analysis
- public key
- smart card
- security requirements
- high security
- security model
- image encryption
- security properties
- object oriented
- user authentication
- encryption algorithm
- encryption scheme
- authentication scheme
- authentication protocol
- mutual authentication
- real time
- private key
- access control policies
- intrusion detection
- access control
- proxy signature scheme