Checking secrecy by means of partial order reduction

被引：0
|
作者：
Cremers, CJF [1 ]
Mauw, S [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
SYSTEM ANALYSIS AND MODELING | 2005年 / 3319卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction, we develop an automatic tool that can check security protocols for secrecy, given a finite execution scenario. We compare this tool to several other tools.
引用
收藏
页码：171 / 188
页数：18
相关论文
共 50 条
  • [1] Partial order reduction in directed model checking
    Lluch-Lafuente, A
    Edelkamp, S
    Leue, S
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 112 - 127
  • [2] Partial order reduction for model checking of timed automata
    Minea, M
    [J]. CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 431 - 446
  • [3] Partial-Order Reduction for GPU Model Checking
    Neele, Thomas
    Wijs, Anton
    Bosnacki, Dragan
    van de Pol, Jaco
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 357 - 374
  • [4] Partial order reduction for checking soundness of time workflow nets
    Boucheneb, Hanifa
    Barkaoui, Kamel
    [J]. INFORMATION SCIENCES, 2014, 282 : 261 - 276
  • [5] Symmetry and partial order reduction techniques in model checking Rebeca
    Jaghoori, Mohammad Mahdi
    Sirjani, Marjan
    Mousavi, Mohammad Reza
    Khamespanah, Ehsan
    Movaghar, Ali
    [J]. ACTA INFORMATICA, 2010, 47 (01) : 33 - 66
  • [6] Dynamic partial-order reduction for model checking software
    Flanagan, C
    Godefroid, P
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (01) : 110 - 121
  • [7] Effective Partial Order Reduction in Model Checking Database Applications
    LUMS, School of Science and Engineering, Lahore, Pakistan
    [J]. Proc. - IEEE Int. Conf. Softw. Test., Verification Valid., ICST, (146-156):
  • [8] Symmetry and partial order reduction techniques in model checking Rebeca
    Mohammad Mahdi Jaghoori
    Marjan Sirjani
    Mohammad Reza Mousavi
    Ehsan Khamespanah
    Ali Movaghar
    [J]. Acta Informatica, 2010, 47 : 33 - 66
  • [9] Partial order reduction: Model-checking using representatives
    Peled, D
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 93 - 112
  • [10] Effective Partial Order Reduction in Model Checking Database Applications
    Ghafoor, Maryam Abdul
    Mahmood, Muhammad Suleman
    Siddiqui, Junaid Haroon
    [J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 146 - 156
12345