default search action
2nd VODCA@FOSAD 2006: Bertinoro, Italy
- Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier 2007 - Maurice H. ter Beek
, Fabio Gadducci
Preface. 1-3 - Sjouke Mauw
Data Anonymity in the FOO Voting Scheme. 5-28 - Fabio Martinelli, Ilaria Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems. 29-43 - Agustina Buccella, Alejandra Cechich
Towards Integration of Geographic Information Systems. 45-59 - Ron van der Meyden
Algorithmic Verification of Noninterference Properties. 61-75 - Antonio Bucchiarone
Architecting Fault-tolerant Component-based Systems: from requirements to testing. 77-90 - Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Cryptographic Pattern Matching. 91-107 - Aneta Zwierko, Zbigniew Kotulski
A Light-Weight e-Voting System with Distributed Trust. 109-126 - Ernesto Damiani
Selective Data Encryption in Outsourced Dynamic Environments. 127-142 - Jan Peters, Roland Rieke
A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS. 143-157 - Jan van Eijck, Simona Orzan:
Epistemic Verification of Anonymity. 159-174 - Abdessamad Imine:
Component-Based Specification of Collaborative Objects. 175-190 - Fabio Martinelli, Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks. 191-205 - Giampaolo Bella
Augmented Risk Analysis. 207-220 - M. A. C. Dekker, Sandro Etalle:
Audit-Based Access Control for Electronic Health Records. 221-236 - Victor M. Ruiz Penichet
A Classification Method for CSCW Systems. 237-247
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 2025-02-20 00:46 CET 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: