Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic | IEEE Conference Publication | IEEE Xplore