|
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 Logical Approach to Security in the Context of Ambient Calculus |
Mardare, Radu |
2004 |
99 | C |
p. 3-29 27 p. |
artikel |
|
| 2 | Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability |
Gnesi, S. |
2004 |
99 | C |
p. 111-126 16 p. |
artikel |
|
| 3 | Approximating Imperfect Cryptography in a Formal Model |
Troina, Angelo |
2004 |
99 | C |
p. 183-203 21 p. |
artikel |
|
| 4 | A Quantitative Approach to Noninterference for Probabilistic Systems |
Aldini, Alessandro |
2004 |
99 | C |
p. 155-182 28 p. |
artikel |
|
| 5 | Automatic Analysis of the NRL Pump |
Lanotte, Ruggero |
2004 |
99 | C |
p. 245-266 22 p. |
artikel |
|
| 6 | Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients |
Braghin, C. |
2004 |
99 | C |
p. 319-337 19 p. |
artikel |
|
| 7 | Checking Integrity via CoPS and Banana: the E-Commerce Case Study |
Braghin, Chiara |
2004 |
99 | C |
p. 295-317 23 p. |
artikel |
|
| 8 | Combining Partitions in SecSpaces |
Bravetti, Mario |
2004 |
99 | C |
p. 31-47 17 p. |
artikel |
|
| 9 | Control Flow Analysis for the Applied π–calculus |
Zunino, Roberto |
2004 |
99 | C |
p. 87-110 24 p. |
artikel |
|
| 10 | Model-checking the Secure Release of a Time-locked Secret over a Network |
La Torre, Salvatore |
2004 |
99 | C |
p. 229-243 15 p. |
artikel |
|
| 11 | Modeling A Certified Email Protocol using I/O Automata |
Blundo, C. |
2004 |
99 | C |
p. 339-359 21 p. |
artikel |
|
| 12 | Preface |
Bravetti, Mario |
2004 |
99 | C |
p. 1-2 2 p. |
artikel |
|
| 13 | Program Transformations under Dynamic Security Policies |
Bartoletti, Massimo |
2004 |
99 | C |
p. 49-86 38 p. |
artikel |
|
| 14 | Specification and Verification of Protocols With Time Constraints |
Napoli, Margherita |
2004 |
99 | C |
p. 205-227 23 p. |
artikel |
|
| 15 | The ρ-spi Calculus at Work: Authentication Case Studies |
Focardi, Riccardo |
2004 |
99 | C |
p. 267-293 27 p. |
artikel |
|
| 16 | Unwinding in Information Flow Security |
Bossi, A. |
2004 |
99 | C |
p. 127-154 28 p. |
artikel |
16 gevonden resultaten