Automated Analysis of Security Protocols with Global State

Kremer, Steve and Künnemann, Robert
(2014) Automated Analysis of Security Protocols with Global State.
In: Proc. 35th IEEE Symposium on Security and Privacy (S&P'14).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item