2008 | ||
---|---|---|
2 | EE | J. McDermott, Gerard Allwein: A formalism for visual security protocol modeling. J. Vis. Lang. Comput. 19(2): 153-181 (2008) |
2003 | ||
1 | EE | J. McDermott, A. Kim, Judith N. Froscher: Merging paradigms of survivability and security: stochastic faults and designed faults. NSPW 2003: 19-25 |
1 | Gerard Allwein | [2] |
2 | Judith N. Froscher | [1] |
3 | A. Kim | [1] |