Treffer: Model-based protocol engineering: Specifying Kerberos with object-process methodology

Title:
Model-based protocol engineering: Specifying Kerberos with object-process methodology
Source:
2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI) Electrical & Electronics Engineers in Israel (IEEEI), 2014 IEEE 28th Convention of. :1-5 Dec, 2014
Relation:
2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI)
Database:
IEEE Xplore Digital Library