![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd SecCo 2004: London, UK
- Riccardo Focardi, Gianluigi Zavattaro:
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(5), Elsevier 2005 - Riccardo Focardi
, Gianluigi Zavattaro:
Preface. 1-2 - Lorenzo Bettini
:
Data Privacy in Tuple Space Based Mobile Agent Systems. 3-16 - Chiara Braghin, Agostino Cortesi
:
Flow-sensitive Leakage Analysis in Mobile Ambients. 17-25 - Alessandra Di Pierro
, Chris Hankin
, Herbert Wiklicky:
Continuous-Time Probabilistic KLAIM. 27-38 - Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. 39-53 - Matteo Maffei:
Tags for Multi-Protocol Authentication. 55-63 - Andrea Omicini
, Alessandro Ricci
, Mirko Viroli
:
RBAC for Organisation and Security in an Agent Coordination Infrastructure. 65-85 - Steve Kremer, Mark Ryan
:
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. 87-104 - Maurice H. ter Beek
, Gabriele Lenzini, Marinella Petrocchi:
Team Automata for Security: - A Survey -. 105-119
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.