|
1. |
|
Security Standardisation Research
Cas Cremers, Anja Lehmann
Häftad. Springer Nature Switzerland AG, Schweiz, 2018.
|
|
2. |
|
Security Standardisation Research
Cas Cremers, Anja Lehmann
E-bok. Springer International Publishing, Schweiz, 2018.
|
|
3. |
|
Operational Semantics and Verification of Security Protocols
Cas Cremers, Sjouke Mauw
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2012.
|
|
4. |
|
Operational Semantics and Verification of Security Protocols
Cas Cremers, Sjouke Mauw
E-bok. Springer Berlin Heidelberg, Tyskland, 2012.
|
|
5. |
|
Operational Semantics and Verification of Security Protocols
Cas Cremers, Sjouke Mauw
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2014.
|
|
|
|