


default search action
1st VODCA@FOSAD 2004: Bertinoro, Italy
- Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier 2006 - Maurice H. ter Beek
, Fabio Gadducci
:
Preface. 1-3 - Jan Münther:
On the Security of Security Software: Invited Position Paper. 5-10 - Giampaolo Bella
, Stefano Bistarelli
, Simon N. Foley
:
Soft Constraints for Security. 11-29 - Jan Jürjens:
Foundations for Designing Secure Architectures. 31-46 - Claudio Agostino Ardagna
, Ernesto Damiani
, Sabrina De Capitani di Vimercati
, Pierangela Samarati
:
A Web Service Architecture for Enforcing Access Control Policies. 47-62 - Giampaolo Bella
, Costantino Pistagna, Salvatore Riccobene:
Distributed Backup through Information Dispersal. 63-77 - Agustina Buccella, Alejandra Cechich
, Nieves R. Brisaboa
:
A Federated Layer to Integrate Heterogeneous Knowledge. 79-97 - Cas Cremers:
Compositionality of Security Protocols: A Research Agenda. 99-110 - Lavinia Egidi
, Marinella Petrocchi:
Modelling a Secure Agent with Team Automata. 111-127 - Antonio Fariña
, Nieves R. Brisaboa
, Cristina París, José R. Paramá
:
Fast and Flexible Compression for Web Search Engines. 129-141 - Gianluigi Ferrari
, Alberto Lluch-Lafuente
:
A Logic for Graphs with QoS. 143-160 - Torsten Fink, Manuel Koch, Karl Pauls:
An MDA approach to Access Control Specifications Using MOF and UML Profiles. 161-179 - Kamil Kulesza, Zbigniew Kotulski
, Konrad Kulesza:
On Mobile Agents Resistance to Traffic Analysis. 181-193 - Sebastian Nanz, Chris Hankin
:
Formal Security Analysis for Ad-Hoc Networks. 195-213 - Sanjay Rawat
, Arun K. Pujari, Ved Prakash Gulati:
On the Use of Singular Value Decomposition for a Fast Intrusion Detection System. 215-228 - Emilio Tuosto
, Hugo Torres Vieira:
An Observational Model for Spatial Logics. 229-254

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.