2014-01-01

Automated Analysis of Security Protocols with Global State

Tags

Konferenz / Medium

Proc. 35th IEEE Symposium on Security and Privacy (S&P'14)

Veröffentlichungsdatum

2014-01-01

Letztes Änderungsdatum

2017-07-27 07:03:34

Autor:innen

Steve Kremer
Robert Künnemann

Herunterladen