Amanote Research
Register
Sign In
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
doi 10.4156/jcit.vol5.issue10.19
Full Text
Open PDF
Abstract
Available in
full text
Date
December 31, 2010
Authors
Unknown
Publisher
AICIT
Related search
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Exploiting Symmetry in Temporal Logic Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols
Journal of Applied Non-Classical Logics
Philosophy
Logic
Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
