![](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
1st SecCo 2003: Eindhoven, The Netherlands
- Riccardo Focardi, Gianluigi Zavattaro:
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. Electronic Notes in Theoretical Computer Science 85(3), Elsevier 2003 - Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Soft component adaptation. 1-16 - Andrea Omicini
, Alessandro Ricci
, Mirko Viroli
:
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. 17-36 - Alessandro Aldini
:
Coordination Model and Noninterference. 37-53 - Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
A formal approach for checking security properties in SecSpaces. 54-70 - Per Mellstrand, Rune Gustavsson:
Safe Execution of Unreliable Software. 71-88 - Lavinia Egidi
, Giovanni Porcelli:
Minimal Information Disclosure in a Centralized Authorization System. 89-104 - René Mayrhofer
, Florian Ortner, Alois Ferscha, Manfred Hechinger:
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks. 105-121 - Radu Handorean, Gruia-Catalin Roman:
Secure Sharing of Tuple Spaces in Ad Hoc Settings. 122-141 - Riccardo Focardi
, Gianluigi Zavattaro:
Preface. 142
![](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.