Abstract
In this paper, we present a symbolic version of the Hennessy-Milner logic for expressing security properties. The models of the logic are CryptoCCS processes with their symbolic semantics. We study the model checking problem and partial model checking techniques for the logic. © Springer-Verlag Berlin Heidelberg 2003.
Cite
CITATION STYLE
APA
Martinelli, F. (2003). Symbolic partial model checking for security analysis. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2776, 122–134. https://doi.org/10.1007/978-3-540-45215-7_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free