Temporal Logics of Knowledge and their Applications in Security

被引：12

作者：

Dixon, Clare ^{[1
]}

Fernandez Gago, Mari-Carmen ^{[2
]}

Fisher, Michael ^{[1
]}

van der Hoek, Wiebe ^{[1
]}

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside L69 7ZF, England

[2] Univ Malaga, Dept Lenguajes & Ciencias Comput, Malaga 29071, Spain

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 186卷

关键词：

Temporal logics of knowledge; security; verification; theorem proving; resolution;

D O I：

10.1016/j.entcs.2006.11.043

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we investigate the application of temporal logics of knowledge to the specification and verification of security protocols. We show how typical assumptions relating to authentication protocols can be specified. We consider verification methods for these logics, in particular, focusing on proofs using clausal resolution. Finally we present experiences from using a resolution based theorem prover applied to security protocols specified in temporal logics of knowledge.

引用

页码：27 / 42

页数：16

共 50 条

[1] Using temporal logics of knowledge in the formal verification of security protocols
Dixon, C
Gago, MCF
Fisher, M
van der Hoek, W
11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 148 - 151
[2] Model checking temporal logics of knowledge and its application in security verification
Wu, LJ
Su, KL
Chen, QL
COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 1, PROCEEDINGS, 2005, 3801 : 349 - 354
[3] Resolution for temporal logics of knowledge
Dixon, C
Fisher, M
Wooldridge, M
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 345 - 372
[4] LOGICS OF KNOWLEDGE AND BELIEF - APPLICATIONS
MEASOR, N
ARTIFICIAL INTELLIGENCE REVIEW, 1991, 5 (1-2) : 35 - 51
[5] Prospects of Using Temporal Logics for Knowledge Management
Mach-Krol, Maria
ADVANCES IN BUSINESS ICT, 2014, 257 : 41 - 52
[6] Perspectives of Using Temporal Logics for Knowledge Management
Mach-Krol, Maria
2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2012, : 935 - 938
[7] Sequent calculi for temporal logics of common knowledge and belief
Sakalauskaite, R
INFORMATICA, 2006, 17 (01) : 85 - 94
[8] Model checking temporal logics of knowledge in distributed systems
Su, K
PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 98 - 103
[9] Model checking temporal logics of knowledge via OBDDs
Su, Kaile
Sattar, Abdul
Luo, Xiangyu
Computer Journal, 2007, 50 (04): : 403 - 420
[10] Sequent calculi for branching time temporal logics of knowledge and belief
Sakalauskaite, Jurate
INFORMATICA, 2007, 18 (01) : 103 - 114

← 1 2 3 4 5 →