Formal Modelling of PKI Based Authentication.
Ali Nasrat HaidarAli E. AbdallahPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- security mechanisms
- public key infrastructure
- digital watermarking
- public key cryptography
- public key
- image authentication
- access control
- resource constrained
- formal methods
- digital images
- information exchange
- key technologies
- security issues
- trust model
- security analysis
- security model
- security systems
- formal model
- operating system
- end users
- authentication mechanism