LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems
LICS '13: Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science（2013）
摘要
In this tutorial, we will consider several attacker's models and study how to find attacks (or to get security guarantees) on communication protocols in these different models.
更多查看译文
关键词
related decision problems,different model,communication protocol,computer security,security guarantee,computational modeling,protocols,access control,cryptography,communication security,formal logic,authorisation,communication protocols,computer science,cryptographic protocols,intrusion detection
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要