A Formal Analysis of Timing Channel Security via Bucketing.

Tachio Terauchi Timos Antonopoulos

Published in: POST (2019)

Keyphrases

formal analysis
ban logic
formal methods
physical layer
authentication protocol
agent model
multi channel
statistical databases
security requirements
security issues
information security
access control
artificial intelligence
security policies
network security
query language
knowledge base