Operational Semantics and Verification of Security Protocols

Operational Semantics and Verification of Security Protocols

Bokus

9783540786351

1 718 799 564 800.00 kr