|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Non-Interference Control Synthesis for Security Timed Automata |
Gardey, Guillaume |
2007 |
180 | 1 |
p. 35-53 19 p. |
artikel |
|
| 2 | On the Expressiveness of Mobile Synchronizing Petri Nets |
Rosa-Velardo, Fernando |
2007 |
180 | 1 |
p. 77-94 18 p. |
artikel |
|
| 3 | Preface |
Backes, Michael |
2007 |
180 | 1 |
p. 1-2 2 p. |
artikel |
|
| 4 | Secured Information Flow for Asynchronous Sequential Processes |
Attali, Isabelle |
2007 |
180 | 1 |
p. 17-34 18 p. |
artikel |
|
| 5 | Types for Access Control in a Calculus of Mobile Resources |
Hüttel, Hans |
2007 |
180 | 1 |
p. 3-15 13 p. |
artikel |
|
| 6 | Weak Probabilistic Anonymity |
Deng, Yuxin |
2007 |
180 | 1 |
p. 55-76 22 p. |
artikel |
6 gevonden resultaten