Results 1-2 of 2
 | 
To know or not to know: epistemic approaches to security protocol verification
期刊文章
Fulltext
Dechesne, Francien; Wang, Yanjing
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
On axiomatizations of public announcement logic
期刊文章
Fulltext
Wang, Yanjing; Cao, Qinxiang
synthese
2013
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a "cor...
[KEYWORDS] Public announcement logic; Reduction axioms; Composition axiom; Dynamic epistemic logic; Completeness; Epistemic temporal logic; KNOWLEDGE
Results 1-2 of 2
  • <<
  • 1
  • >>

Data Facts