Zobrazeno 1 - 4 of 4 pro vyhledávání: '"Durgin, Nancy"'
1
Akademický článek
A comparison between strand spaces and multiset rewriting for security protocol analysis.
Autor: Cervesato, Iliano1 iliano@itd.nrl.navy.mil, Durgin, Nancy A.2 nadurgi@sandia.gov, Lincoln, Patrick D.3 lincoln@csl.sri.com, Mitchell, John C.4 jcm@cs.stanford.edu, Scedrov, Andre5 scedrov@cis.upenn.edu
Publikováno v: Journal of Computer Security. 2005, Vol. 13 Issue 2, p265-316. 52p. 10 Diagrams.
Zobrazit plný text záznamu
2
Akademický článek
Multiset rewriting and the complexity of bounded security protocols.
Autor: Durgin, Nancy1 nadurgi@sandia.gov, Lincoln, Patrick2 lincoln@csl.sri.com, Mitchell, John3 jcm@cs.stanford.edu, Scedrov, Andre4 scedrov@saul.cis.upenn.edu
Publikováno v: Journal of Computer Security. 2004, Vol. 12 Issue 2, p247-311. 65p. 14 Charts.
Zobrazit plný text záznamu
3
Akademický článek
A compositional logic for proving security properties of protocols.
Autor: Durgin, Nancy1, Mitchell, John2, Pavlovic, Dusko3
Publikováno v: Journal of Computer Security. 2003, Vol. 11 Issue 4, p677-721. 45p.
Zobrazit plný text záznamu
4
Akademický článek
Security by typing.
Autor: Debbabi, Mourad, Durgin, Nancy, Mejri, Mohamed, Mitchell, John C.
Publikováno v: International Journal on Software Tools for Technology Transfer; Aug2003, Vol. 4 Issue 4, p472-495, 24p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje