2005 | ||
---|---|---|
2 | EE | Susan Pancho-Festin, Dieter Gollmann: On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol. Formal Aspects in Security and Trust 2005: 5-15 |
1 | EE | Marife G. Ontua, Susan Pancho-Festin: Evaluation of the Unified Modeling Language for Security Requirements Analysis. WISA 2005: 68-80 |
1 | Dieter Gollmann | [2] |
2 | Marife G. Ontua | [1] |