Items where Author is "Shukla, Shobhit"
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Mundra, Punit and Sharma, Madhavi and Shukla, Shobhit and Singh, Sanjay (2011) Modeling and Verification of Inter Realm Authentication in Kerberos Using Symbolic Model Verifier. In: First International Conference on Computer Science, Engineering and Information Technology (CCSEIT-2011), Tirunelveli, India.

Mundra, Punit and Shukla, Shobhit and Sharma, Madhavi and Pai, Radhika M and Singh, Sanjay (2011) Modeling and Verification of Kerberos Protocol using Symbolic model Verifier. In: 2011 International Conference on Communication Systems and Network Technologies, June 2011, Jammu, India.

This list was generated on Fri Jan 21 02:00:08 2022 UTC.