Results 1-1 of 1
期刊文章
Fulltext
synthese
2010
[ABSTRACT] Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been sever...
[KEYWORDS] Security protocols; Dynamic epistemic logic; Epistemic temporal logic; Interpreted systems; Verification; MULTIAGENT SYSTEMS; MODEL CHECKING; EQUATIONAL THEORIES; KNOWLEDGE; AUTHENTICATION; CRYPTOGRAPHY; ENCRYPTION; REFINEMENT; ANONYMITY; SECRECY
Results 1-1 of 1
- <<
- 1
- >>