Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manik Lal Das, V. Lakshmi Narasimhan. Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 545-550, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Manik Lal Das' in GoogleThis author has not been identified. Look up 'V. Lakshmi Narasimhan' in Google

runs on WebDSL