Login / Signup
Networks on Chip with Provable Security Properties.
Hassan M. G. Wassel
Ying Gao
Jason K. Oberg
Ted Huffmire
Ryan Kastner
Frederic T. Chong
Timothy Sherwood
Published in:
IEEE Micro (2014)
Keyphrases
</>
security properties
formal model
security analysis
low cost
security requirements
security protocols
smart card
security vulnerabilities
cryptographic protocols
computer networks
real time
response time
data streams
case study
web services
information systems
artificial intelligence