Automated analysis of security protocols with global state.
Saved in:
| Title: | Automated analysis of security protocols with global state. |
|---|---|
| Authors: | Kremer, Steve1, Künnemann, Robert2, robert@kunnemann.de |
| Source: | Journal of Computer Security; 2016, Vol. 24 Issue 5, p583-616, 73p |
| Database: | Applied Science & Technology Source |
| ISSN: | 0926227X |
|---|---|
| DOI: | 10.3233/JCS-160556 |
