| Original language | English |
|---|---|
| Publication status | Published - 1992 |
A Formal Approach for Security Evaluation
Qi Shi, J.A. McDermid
Research output: Contribution to conference › Paper › peer-review
Qi Shi, J.A. McDermid
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 1992 |