Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SHVT with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002 (2) 2005 (1) 2006 (1) 2007 (1) 2008 (1)
Publication types (Num. hits)
article(2) inproceedings(4)
Venues (Conferences, Journals, ...)
CSFW(1) DEXA Workshops(1) Electron. Commer. Res.(1) ESORICS(1) FASec(1) Formal Aspects Comput.(1)
Authors
Carsten Rudolph(4) Sigrid Gürgens(4) Colin Boyd(1) Dirk Scheuermann(1) Ernest Foo(1) Kim-Kwang Raymond Choo(1) Marion Atts(1) Peter Ochsenschläger(1) Rainer Plaga(1) Rong Du(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
51Kim-Kwang Raymond Choo Refuting Security Proofs for Tripartite Key Exchange with Model Checker in Planning Problem Setting. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. Search on Bibsonomy DEXA Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Rong Du, Ernest Foo, Colin Boyd Designing a secure e-tender submission protocol. Search on Bibsonomy Electron. Commer. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF E-tendering, SHVT, Security, Cryptography, Security analysis, Procurement
25Sigrid Gürgens, Carsten Rudolph, Dirk Scheuermann, Marion Atts, Rainer Plaga Security Evaluation of Scenarios Based on the TCG's TPM Specification. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Sigrid Gürgens, Carsten Rudolph Security analysis of efficient (Un-)fair non-repudiation protocols. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Asynchronous product automata, Fairness, Non-repudiation, Protocol analysis
25Sigrid Gürgens, Carsten Rudolph Security Analysis of (Un-) Fair Non-repudiation Protocols. Search on Bibsonomy FASec The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license