|
ComputingReviews.com
|
Beyond subterm-convergent equational theories in automated verification of stateful protocols Dreier J., Duménil C., Kremer S., Sasse R. POST 2017 (Proceedings of the 6th International Conference on Principles of Security and Trust, Uppsala, Sweden, Apr 22-29, 2017)117-140,2017.Type:Proceedings |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|