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 |
Be the first to leave a comment!
