TY - GEN
T1 - Modeling and verification of server aided verification protocol using NuSMV
AU - Saralaya, Vikram
AU - Kishore, J. K.
AU - Reddy, Sateesh
AU - Singh, Sanjay
PY - 2011/10/28
Y1 - 2011/10/28
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80054854260&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80054854260&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24043-0_49
DO - 10.1007/978-3-642-24043-0_49
M3 - Conference contribution
AN - SCOPUS:80054854260
SN - 9783642240423
T3 - Communications in Computer and Information Science
SP - 486
EP - 495
BT - Trends in Computer Science, Engineering and Information Technology - First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Proceedings
T2 - 1st International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011
Y2 - 23 September 2011 through 25 September 2011
ER -