Modeling adversaries in a logic for security protocol analysis

DMCA

Modeling adversaries in a logic for security protocol analysis

Cached

Download Links

[www.cs.cornell.edu]
[www.cs.cornell.edu]
[www.cs.cornell.edu]
[www.cs.cornell.edu]
[www.cs.cornell.edu]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Joseph Y. Halpern , Riccardo Pucella

Venue:	In Proc. Formal Aspects of Security (FASec 2002). Lecture Notes in Computer Science
Citations:	23 - 1 self

BibTeX

@INPROCEEDINGS{Halpern_modelingadversaries,
    author = {Joseph Y. Halpern and Riccardo Pucella},
    title = {Modeling adversaries in a logic for security protocol analysis},
    booktitle = {In Proc. Formal Aspects of Security (FASec 2002). Lecture Notes in Computer Science},
    year = {},
    publisher = {Springer-Verlag}
}