Modeling and Verification of Server Aided Verification Protocol Using NuSMV

Saralaya, Vikram and Kishore, J K and Reddy, Sateesh and Singh, Sanjay (2011) Modeling and Verification of Server Aided Verification Protocol Using NuSMV. In: First International Conference on Computer Science, Engineering and Information Technology (CCSEIT-2011), Tirunelveli, India.

[img] PDF
2907145.pdf - Published Version
Restricted to Registered users only

Download (392kB) | Request a copy
Official URL:


Cryptographic algorithms are useful for signing and verifying the authenticity of sender of the message. The verifier may not have the required computational ability and relies on a powerful server to aid the verification process. The server and the illegitimate prover/signer may collaborate and try to cheat the verifier. A legitimate prover can also repudiate the message sent by himself. In this paper we model the scenario where the legitimate, cheating or repudiating prover sign’s the message. The verifier then authenticates the message via an untrusted server. Specifications are written using CTL(Computational-Tree Logic). NuSMV(extension of Symbolic Model Verifier) is the tool used to verify the specifications.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Server aided verification, Model Checking, CTL, NuSMV
Subjects: Engineering > MIT Manipal > Information and Communication Technology
Depositing User: MIT Library
Date Deposited: 31 Jul 2014 07:16
Last Modified: 31 Jul 2014 07:16

Actions (login required)

View Item View Item