Multi-representational security analysis.

Eunsuk Kang Aleksandar Milicevic Daniel Jackson

Published in: SIGSOFT FSE (2016)

Keyphrases

security analysis
smart card
public key
security requirements
high security
image encryption
security model
user authentication
security properties
encryption scheme
mutual authentication
authentication protocol
real time
encryption algorithm
databases
proxy signature scheme