Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).

David von Oheimb

Published in: ISoLA (2006)

Keyphrases

security analysis
security requirements
public key
smart card
high security
security properties
authentication protocol
image encryption
formal methods
case study
software architecture
encryption scheme
software development
databases
computer systems
mutual authentication
formal model
source code