Amanote Research
Register
Sign In
Proving Authentication Property of Modified Needham-Schroeder Protocol With Logic of Events
doi 10.2991/cisia-15.2015.103
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
M.H Xiao
C.Y Deng
C.L Ma
K. Zhu
D.L Cheng
Publisher
Atlantis Press
Related search
Modified Authentication Protocol and Evaluation Tool: Kerberos and BAN Logic
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
The Logic of Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Existential Termination of Normal Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DNA Implementation of Theorem Proving With Resolution Refutation in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Secured VANET Protocol With Signature Authentication (SVPSA)
International Journal of Computer Applications
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Enhancement of WiMAX Mutual Authentication Protocol
The International Conference on Electrical Engineering
Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research
Artificial Intelligence
Proving Classical Theorems of Social Choice Theory in Modal Logic
Autonomous Agents and Multi-Agent Systems
Artificial Intelligence
