sjouke mauw
Operational Semantics and Verification of Security Protocols
EbookSofort lieferbarSecurity protocols are widely used to ensure secure communications over insecure networks, such a...
Security and Trust Management
EbookSofort lieferbarThis book constitutes the proceedings of the 15th International Workshop on Security and Trust Ma...
Trust Management X
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 10th IFIP WG 11.11 International Conference...
Public Key Infrastructure
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Work...
Graphical Models for Security
EbookSofort lieferbarThis book constitutes revised selected papers from the 4th International Workshop on Graphical Mo...
Security and Trust Management
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 10th International Workshop on Security and...
Graphical Models for Security
EbookSofort lieferbarThis volume constitutes the thoroughly refereed post-conference proceedings of the Second Interna...
CONCUR’99. Concurrency Theory
EbookSofort lieferbarThis book constitutes the proceedings of the 10th International Conference on Concurrency Theory,...
Operational Semantics and Verification of Security Protocols
BuchBezug 11-15Security protocols are widely used to ensure secure communications over insecure networks, suc...
CONCUR’99. Concurrency Theory
TaschenbuchBezug 11-15This volume contains the proceedings of the 10th International Conference on Concurrency Theory (...
Security and Trust Management
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 10th International Workshop on Security and...
Security and Trust Management
TaschenbuchBezug 11-15This book constitutes the proceedings of the 15th International Workshop on Security and Trust Ma...
- 1
- 2