default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st 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
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.
last updated on 2024-09-28 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
