Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1997 (1) 2005 (1) 2007 (2) 2008 (1) 2009 (2)
Publication types (Num. hits)
inproceedings(7)
Venues (Conferences, Journals, ...)
ACM Southeast Regional Confere...(1) ARES(1) CSFW(1) ICFEM(1) SAC(1) TARK(1) WINE(1)
Authors
Andrey Klinger(2) Moshe Tennenholtz(2) Andrew Smith(1) Cristiano Longo(1) Itai Ashlagi(1) Lawrence C. Paulson(1) Mohamed Saleh(1) Mourad Debbabi(1) Paolo Giarrusso(1) Sebastian Mödersheim(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Lawrence C. Paulson Mechanized proofs for a recursive authentication protocol. Search on Bibsonomy CSFW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
1Andrey Klinger, Moshe Tennenholtz K-SNCC: group deviations in subsidized non-cooperative computing. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim Algebraic Properties in Alice and Bob Notation. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrew Smith Multiagent-based simulation of societal networking in a consumer marketplace. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF consumer markets, multiagent systems, agent-based simulation
1Cristiano Longo, Paolo Giarrusso A protocol to preserve a code of conduct. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF local network view, providing guarantees, trust protocol, peer-to-peer, trust, reputation, online communities
1Itai Ashlagi, Andrey Klinger, Moshe Tennenholtz K-NCC: Stability Against Group Deviations in Non-cooperative Computation. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mourad Debbabi, Mohamed Saleh Game Semantics Model for Security Protocols. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.