Symbolic Partial Model Checking for Security Analysis-Reference-Cited by-同舟云学术

Symbolic Partial Model Checking for Security Analysis

Published:2003 Issue: Volume: Page:122-134
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Martinelli Fabio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45215-7_10

Reference16 articles.

1. Lecture Notes in Computer Science;S. Basu,2003

2. Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM (1985)

3. Ingólfsdóttir, A., Lin, H.: A symbolic approach to value-passing processes. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 427–478. North- Holland, Amsterdam (2001)

4. Kindred, D., Wing, J.M.: Fast, automatic checking of security protocols. In: Second USENIX Workshop on Electronic Commerce, Oakland, California, pp. 41–52 (1996)

5. Lecture Notes in Computer Science;G. Lowe,1996

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Security Verification of Industrial Control Systems using Partial Model Checking;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12

2. Security analysis of cloud-connected industrial control systems using combinatorial testing;Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design;2019-10-09

3. Compositional verification of asynchronous concurrent systems using CADP;Acta Informatica;2015-04-22

4. Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols;Mathematical Foundations of Computer Science 2003;2003