Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C.L Ma
Proving Authentication Property of Modified Needham-Schroeder Protocol With Logic of Events
Related publications
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
