F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. Honest ideals on strand spaces. In Proc. CSFW'98. IEEE Computer Society, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Data Independence in the Model Checking of Security Protocols - Broadfoot (2001) (2 citations) (Correct)
....does require a level of expertise. It is not always clear how to construct appropriate rank functions and what results have been established if no such functions exist. 1.3. 7 Strand Spaces Fabrega et al. developed an elegant method for reasoning about security protocols based on Strand Spaces [FHG98a, FHG98b] A strand is a sequence of events that a participating agent may perform. In the case of trustworthy participants, these consist of send and receive events (represented by the symbols and respectively) according to the protocol definition. In addition to these events, an intruder ....
....analysis was restricted to modelling finite size protocols only; this has been extended by Heather and Schneider [HS00] to allow more complete proofs for some classes of protocols of arbitrary size. Song et al. SBP01] developed the tool Athena, based on the strand spaces work by Fabrega et al. FHG98a, FHG98b] An advantage Athena has over many is its ability to avoid state space explosion. Finally, it is worth mentioning a recent approach by Blanchet [Bla01] since some of the ideas used are similar to ours, especially with regards to the internalisation strategy of agents (referring to the ....
F.J.T. Fabrega, J.C. Herzog, and J.D. Guttman. Honest ideals on strand spaces. In 11th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 1998.
CVS at Work: A Report on New Failures upon Some.. - Durante, Focardi.. (2001) (Correct)
....of service. It may happen in a number of existing protocols, and may be avoided only by including in the messages some information about the low level connections, e.g. IP address and port. An attack which is somehow similar to the denial of service above has been found in Otway Rees protocol in [11], although in such an attack there is only one session where A and B commit on two di erent sessions keys. Such an attack is thus e ective also at an abstract speci cation level (without considering low level connections) 8 Conclusion We think that these case studies support our claim that CVS, ....
F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. \Honest Ideals on Strand Spaces". In Proceedings of 11 th IEEE Computer Security Foundation Workshop, pages 66-77, June 1998.
Security Protocols over open networks and.. - Gritzalis.. (1999) (9 citations) (Correct)
....to reason formally about the properties they exhibit. The aforementioned theory has been successfully applied [70] to the modelling and analysis of the Zhou and Gollmann fair non repudiation protocol [71] More recently, Fabrega, Herzog, and Guttman introduced the notion of a strand space [72] [73]. They propose a model and a set of proof methods for cryptographic protocols along the lines of the NRL Protocol Analyzer, Schneider s work, and Paulson s inductive definitions. A strand is defined as a sequence of events within the domain of a security protocol representing the actions of ....
Fabrega F., Herzog J., Guttman J., Honest Ideals on Strand Spaces, Proceedings of the IEEE Computer Security Foundations Workshop XI, (1998) 66-77, IEEE Computer Society Press.
Towards a Completeness Result for Model Checking of Security.. - Lowe (1998) (69 citations) (Correct)
....There are many different forms of authentication, and our result does not extend immediately to all of these. For example, a common authentication requirement (called agreement in [16] is that when two agents complete a run with one another, they should agree upon a data item, such as a key. In [6], Fabrega et al. present an attack upon the Otway Rees protocol, where two agents A and B end up with different keys; we can adapt the attack to the protocol from Section 4.1 as follows: Msg 1a: A B : Na Msg 1b: A S : fA; Na;Bg shared(A;S) Msg 2: B S : Na;N b; fNa; A; Bg shared(B;S) Msg ....
F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. Honest ideals on strand spaces. In 11th IEEE Computer Security Foundations Workshop, 1998.
Metareasoning about Security Protocols using Distributed.. - Caleiro, Vigano, Basin (2004) (1 citation) (Correct)
No context found.
F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. Honest ideals on strand spaces. In Proc. CSFW'98. IEEE Computer Society, 1998.
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