Verification for Security-Relevant Properties and Hyperproperties.

Teng Long Guoqing Yao

Published in: UIC/ATC/ScalCom (2015)

Keyphrases

security requirements
high security
access control
model checking
information security
java card
desirable properties
security properties
computer systems
intrusion detection
closely related
structural properties
network management
key management
cryptographic protocols
security problems