Modeling and verification of kerberos protocol using symbolic model verifier

Punit Mundra, Shobhit Shukla, Madhavi Sharma, Radhika M. Pai, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Fingerprint Dive into the research topics of 'Modeling and verification of kerberos protocol using symbolic model verifier'. Together they form a unique fingerprint.

Social Sciences

Engineering & Materials Science