Taming the logs - Vocabularies for semantic security analysis.
Andreas EkelhartElmar KieslingKabul KurniawanPublished in: SEMANTiCS (2018)
Keyphrases
- security analysis
- smart card
- security requirements
- public key
- high security
- image encryption
- security model
- mutual authentication
- user authentication
- proxy signature scheme
- encryption algorithm
- authentication protocol
- encryption scheme
- security properties
- private key
- authentication scheme
- conflict resolution
- information security
- software engineering
- wavelet transform