Modeling Adversaries in a Logic for Security Protocol Analysis

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-8(1:21)2012
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Improved Security Protocol Using Fuzzy Logic With Multi-Parametres in Ad-Hoc Networks

International Journal for Research in Applied Science and Engineering Technology
2017English

A Modular Security Analysis of the TLS Handshake Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Hybrid Security Protocol for Sensor Networks

International Journal of Communication Networks and Distributed Systems
Computer NetworksCommunications
2009English

Analysis of Quantum Security Direct Communication Protocol

2017English

ECDSA Security Protocol for WSBNs

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Cloud Security Risk Analysis Method Based on Fuzzy Logic

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

On Optimizing the Security-Throughput Trade-Off in Wireless Networks With Adversaries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

An Asymmetric Protocol for Argumentation Games in Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy