|
|
|
|
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.  |
SecCo  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Hélouët, Aline Roumy |
Covert channel detection using Information Theory |
SecCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Toninho, Luís Caires |
A Spatial-Epistemic Logic for Reasoning about Security Protocols |
SecCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Philippe Darondeau, Roberto Gorrieri |
On the Decidability of Non Interference over Unbounded Petri Nets |
SecCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Chen, Pasquale Malacaria |
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions |
SECCO |
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. |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang 0001, Chenyi Zhang |
How to Work with Honest but Curious Judges? (Preliminary Report) |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Del Tedesco, David Sands 0001 |
A User Model for Information Erasure |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Fair Exchange in Strand Spaces |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qurat ul Ain Nizamani, Emilio Tuosto |
Heuristic Methods for Security Protocols |
SECCO |
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 |
SecCo |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Continuous-Time Probabilistic KLAIM. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
RBAC for Organisation and Security in an Agent Coordination Infrastructure. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Maffei |
Tags for Multi-Protocol Authentication. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan 0001 |
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi |
Flow-sensitive Leakage Analysis in Mobile Ambients. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini |
Data Privacy in Tuple Space Based Mobile Agent Systems. |
SecCo |
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. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi |
Team Automata for Security: - A Survey -. |
SecCo |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Gruia-Catalin Roman |
Secure Sharing of Tuple Spaces in Ad Hoc Settings. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Mellstrand, Rune Gustavsson |
Safe Execution of Unreliable Software. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Roberto Gorrieri, Roberto Lucchi |
A formal approach for checking security properties in SecSpaces. |
SecCo |
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. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Giovanni Porcelli |
Minimal Information Disclosure in a Centralized Authorization System. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini |
Coordination Model and Noninterference. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001 |
Soft component adaptation. |
SecCo |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. |
SecCo |
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 |
SecCo |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license