Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase protocol steps (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2010 (8)
Publication types (Num. hits)
inproceedings(8)
Venues (Conferences, Journals, ...)
ASIACCS(1) CONCUR(1) DASC(1) ESORICS(1) FMSE(1) ISAAC(1) LCN(1) STACS(1)
Authors
Ante Derek(1) Anupam Datta(1) Christopher Lynch(1) Chuang Lin(1) Dieter Hutter(1) Dusko Pavlovic(1) Eun-Kyung Ryu(1) Hai Lin 0005(1) John C. Mitchell(1) JooSeok Song(1) Juan Carlos López Pimentel(1) Kee-Won Kim(1) Kee-Young Yoo(1) Michaël Rusinowitch(1) Paliath Narendran(1) Ralf Küsters(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 16 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Taekyoung Kwon, JooSeok Song Security and efficiency in authentication protocols resistant to password guessing attack. (PDF / PS) Search on Bibsonomy LCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF password guessing attack resistance, secret, user-chosen weak secret, security-oriented protocols, cipher operations, protocol steps, poorly-chosen weak secret protection, security, efficiency, cryptographic protocols, key exchange, message authentication, authentication protocols, secure communications, random numbers, dictionary attacks
1Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch Cap unification: application to protocol security modulo homomorphic encryption. Search on Bibsonomy ASIACCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF secrecy analysis, protocol, rewriting, unification
1Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter On the Automated Correction of Security Protocols Susceptible to a Replay Attack. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Xuehai Peng, Chuang Lin Architecture of Trustworthy Networks. Search on Bibsonomy DASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tomasz Truderung Selecting Theories and Recursive Protocols. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ralf Küsters, Thomas Wilke Automata-Based Analysis of Recursive Cryptographic Protocols. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic Secure protocol composition. Search on Bibsonomy FMSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic, security protocols, invariants, protocol composition
1Eun-Kyung Ryu, Kee-Won Kim, Kee-Young Yoo A Promising Key Agreement Protocol. Search on Bibsonomy ISAAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.