![]() |
| 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] |