Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase security proof of protocols (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2005 (2)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
SWS(3)
Authors
Thomas Groß(3) Birgit Pfitzmann(2) Ahmad-Reza Sadeghi(1) Michael Backes(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 9 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Michael Backes, Thomas Groß Tailoring the Dolev-Yao abstraction to web services realities. Search on Bibsonomy SWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dolev Yao, security proof of protocols, formal method, tool support, security analysis, web services security, federated identity management, protocol model
1Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sadeghi Proving a WS-federation passive requestor profile with a browser model. Search on Bibsonomy SWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF WS-federation passive requestor profile, WSFPI, security proof of protocols, single signon, web browser, web service security, identity federation
1Thomas Groß, Birgit Pfitzmann Proving a WS-Federation passive requestor profile. Search on Bibsonomy SWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF WS-federation passive requestor profile, WSFPI, browser-based, security proof of protocols, single signon, security, web browser, web service security, federated identity management, identity federation
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.