Login / Signup
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