L. Gong. Initial Thought on Secure Protocols Interaction. Talk at the Cambridge Workshop on the Design, Verification, and Implementation of Security Protocols, Cambridge, England, April 1994. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Fail-Stop Protocols: An Approach to Designing Secure Protocols - Gong, Syverson (1995) (41 citations) Self-citation (Gong) (Correct)
....and its security analyzed, independently of other protocols. Therefore, another crucial question is whether the deployment of one protocol invalidates the security conditions and claims of another, possibly in such a way that both protocols need to be modified in order to coexist securely [11]. Unfortunately being a fail stop protocol is not trivially composable. To see this, observe that any one message protocol is automatically fail stop regardless of the message structure. If being fail stop were a composable property, then a simple induction would show that all protocols of any ....
L. Gong. Initial Thought on Secure Protocols Interaction. Talk at the Cambridge Workshop on the Design, Verification, and Implementation of Security Protocols, Cambridge, England, April 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC