|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Classification Method for CSCW Systems |
Penichet, V.M.R. |
2007 |
168 | C |
p. 237-247 11 p. |
artikel |
|
| 2 | A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS |
Peters, Jan |
2007 |
168 | C |
p. 143-157 15 p. |
artikel |
|
| 3 | Algorithmic Verification of Noninterference Properties |
van der Meyden, Ron |
2007 |
168 | C |
p. 61-75 15 p. |
artikel |
|
| 4 | A Light-Weight e-Voting System with Distributed Trust |
Zwierko, Aneta |
2007 |
168 | C |
p. 109-126 18 p. |
artikel |
|
| 5 | An Approach for the Specification, Verification and Synthesis of Secure Systems |
Martinelli, Fabio |
2007 |
168 | C |
p. 29-43 15 p. |
artikel |
|
| 6 | Architecting Fault-tolerant Component-based Systems: from requirements to testing |
Bucchiarone, Antonio |
2007 |
168 | C |
p. 77-90 14 p. |
artikel |
|
| 7 | Audit-Based Access Control for Electronic Health Records |
Dekker, M.A.C. |
2007 |
168 | C |
p. 221-236 16 p. |
artikel |
|
| 8 | Augmented Risk Analysis |
Bella, Giampaolo |
2007 |
168 | C |
p. 207-220 14 p. |
artikel |
|
| 9 | Component-Based Specification of Collaborative Objects |
Imine, Abdessamad |
2007 |
168 | C |
p. 175-190 16 p. |
artikel |
|
| 10 | Cryptographic Pattern Matching |
Nielsen, Christoffer Rosenkilde |
2007 |
168 | C |
p. 91-107 17 p. |
artikel |
|
| 11 | Data Anonymity in the FOO Voting Scheme |
Mauw, S. |
2007 |
168 | C |
p. 5-28 24 p. |
artikel |
|
| 12 | Epistemic Verification of Anonymity |
van Eijck, Jan |
2007 |
168 | C |
p. 159-174 16 p. |
artikel |
|
| 13 | On Relating and Integrating Two Trust Management Frameworks |
Martinelli, Fabio |
2007 |
168 | C |
p. 191-205 15 p. |
artikel |
|
| 14 | Preface |
ter Beek, Maurice |
2007 |
168 | C |
p. 1-3 3 p. |
artikel |
|
| 15 | Selective Data Encryption in Outsourced Dynamic Environments |
Damiani, E. |
2007 |
168 | C |
p. 127-142 16 p. |
artikel |
|
| 16 | Towards Integration of Geographic Information Systems |
Buccella, Agustina |
2007 |
168 | C |
p. 45-59 15 p. |
artikel |
16 gevonden resultaten