A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2003-11407
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Logic of Belief and a Model Checking Algorithm for Security Protocols

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
2018English

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

Proving Properties of Constraint Logic Programs by Eliminating Existential Variables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Compositional Entailment Checking for a Fragment of Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Compositional Analysis of Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

2009English

Practical Methods for Proving Termination of General Logic Programs

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy