Login / Signup
The Need for Declarative Properties in Digital IC Security.
Mohamed El Massad
Frank Imeson
Siddharth Garg
Mahesh Tripunitara
Published in:
ACM Great Lakes Symposium on VLSI (2017)
Keyphrases
</>
security issues
network security
public key infrastructure
real time
key management
databases
access control
domain independent
smart card
knowledge representation
desirable properties
security policies
high level
security requirements
security mechanisms
artificial intelligence
security properties