Automated Logic-Based Technique for Formal Verification of Security Protocols

Journal of Advances in Computer Networks
doi 10.18178/jacn.2018.6.2.258
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EJournal Publishing

Related search

Formal Verification of Netlog Protocols

2012English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Protocols

English

Formal Methods for Assuring Security of Protocols

Computer Journal
Computer Science
2002English

Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

Automated Inductive Verification of Parameterized Protocols?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

AnBx - Security Protocols Design and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy