|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Konstantinos Chatzikokolakis 0001, Véronique Cortier (eds.) |
Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Aline Roumy |
Covert channel detection using Information Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., pp. 34-51, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires |
A Spatial-Epistemic Logic for Reasoning about Security Protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Philippe Darondeau, Roberto Gorrieri |
On the Decidability of Non Interference over Unbounded Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., pp. 16-33, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Han Chen, Pasquale Malacaria |
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![In: Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Steve Kremer (eds.) |
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001, Chenyi Zhang |
How to Work with Honest but Curious Judges? (Preliminary Report) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![In: Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009., pp. 31-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Del Tedesco, David Sands 0001 |
A User Model for Information Erasure ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![In: Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009., pp. 16-30, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Fair Exchange in Strand Spaces ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![In: Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009., pp. 46-60, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qurat ul Ain Nizamani, Emilio Tuosto |
Heuristic Methods for Security Protocols ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECCO ![In: Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009., pp. 61-75, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Gianluigi Zavattaro (eds.) |
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Continuous-Time Probabilistic KLAIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 27-38, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
RBAC for Organisation and Security in an Agent Coordination Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 65-85, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Maffei |
Tags for Multi-Protocol Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 55-63, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steve Kremer, Mark Ryan 0001 |
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 87-104, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Braghin, Agostino Cortesi |
Flow-sensitive Leakage Analysis in Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 17-25, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini |
Data Privacy in Tuple Space Based Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 3-16, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 39-53, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi |
Team Automata for Security: - A Survey -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004, pp. 105-119, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Radu Handorean, Gruia-Catalin Roman |
Secure Sharing of Tuple Spaces in Ad Hoc Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 122-141, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Per Mellstrand, Rune Gustavsson |
Safe Execution of Unreliable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 71-88, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 142, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi |
A formal approach for checking security properties in SecSpaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 54-70, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | René Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger |
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 105-121, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lavinia Egidi, Giovanni Porcelli |
Minimal Information Disclosure in a Centralized Authorization System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 89-104, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini |
Coordination Model and Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 37-53, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
Soft component adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 1-16, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, pp. 17-36, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Gianluigi Zavattaro (eds.) |
First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|