Automating architectural security analysis.

Andreas Schaad Alexandr Garaga

Published in: SACMAT (2012)

Keyphrases

security analysis
smart card
security requirements
software architecture
public key
security model
security properties
image encryption
high security
authentication protocol
encryption scheme
encryption algorithm
authentication scheme
mutual authentication
software engineering