|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Action Control by Term Rewriting |
Barker, Steve |
2009 |
234 | C |
p. 19-36 18 p. |
artikel |
|
| 2 | Analysis of Rewrite-Based Access Control Policies |
Kirchner, Claude |
2009 |
234 | C |
p. 55-75 21 p. |
artikel |
|
| 3 | An Automated Approach for Proving PCL Invariants |
Mitchell, John C. |
2009 |
234 | C |
p. 93-113 21 p. |
artikel |
|
| 4 | Preface |
Dougherty, Daniel |
2009 |
234 | C |
p. 1-2 2 p. |
artikel |
|
| 5 | Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol |
AlTurki, Musab |
2009 |
234 | C |
p. 3-18 16 p. |
artikel |
|
| 6 | Rewrite Based Specification of Access Control Policies |
Cirstea, Horatiu |
2009 |
234 | C |
p. 37-54 18 p. |
artikel |
|
| 7 | Rewriting Techniques in the Constraint Solver |
Millen, Jonathan |
2009 |
234 | C |
p. 77-91 15 p. |
artikel |
7 gevonden resultaten