Satellite Events for ICALP 2003:
Thirtieth International Colloquium on Automata,
Languages and Programming
Volume 85,
Number 1,
2003
FGC:
Foundations of Global Computing - 2nd EATCS Workshop
June 2003
FGC Home Page
Volume 85, Volume 2, 2003
Volume 85,
Number 3,
2003
SecCo'03:
First International Workshop on Security Issues in Coordination Models,
Languages,
and Systems
June 2003
SecCo'03 Home Page
- Riccardo Focardi, Gianluigi Zavattaro:
Preface.
Electronic Edition (link) BibTeX
- Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Soft component adaptation.
Electronic Edition (link) BibTeX
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
Electronic Edition (link) BibTeX
- Alessandro Aldini:
Coordination Model and Noninterference.
Electronic Edition (link) BibTeX
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
A formal approach for checking security properties in SecSpaces.
Electronic Edition (link) BibTeX
- Per Mellstrand, Rune Gustavsson:
Safe Execution of Unreliable Software.
Electronic Edition (link) BibTeX
- Lavinia Egidi, Giovanni Porcelli:
Minimal Information Disclosure in a Centralized Authorization System.
Electronic Edition (link) BibTeX
- Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger:
Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks.
Electronic Edition (link) BibTeX
- Radu Handorean, Gruia-Catalin Roman:
Secure Sharing of Tuple Spaces in Ad Hoc Settings.
Electronic Edition (link) BibTeX
Volume 85,
Number 7,
2003
Mathematics,
Logic and Computation
July 2003
Mathematics,
Logic and Computation Home Page
Copyright © Sat May 16 23:58:17 2009
by Michael Ley (ley@uni-trier.de)
