Search
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
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: Beyond subterm-convergent equational theories in automated verification of stateful protocols
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy