default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd 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, Jan Verschuren, Erik P. de Vink:
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, Chenyi Zhang:
Algorithmic Verification of Noninterference Properties. 61-75 - Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione:
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, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati:
Selective Data Encryption in Outsourced Dynamic Environments. 127-142 - Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf:
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, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene:
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, Ismael Marín, José A. Gallud, María Dolores Lozano, Ricardo Tesoriero:
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-03-10 20:51 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:
