Login / Signup
Identifying Security Critical Properties for the Dynamic Verification of a Processor.
Rui Zhang
Natalie Stanley
Christopher Griggs
Andrew Chi
Cynthia Sturton
Published in:
ASPLOS (2017)
Keyphrases
</>
high security
dynamic environments
desirable properties
functional verification
intrusion detection
model checking
integrity verification
java card
security requirements
information security
high speed
security policies
security analysis
dynamic behavior
access control
distributed systems
web services