Conference Publication Details
Mandatory Fields
Newe, T., Coffey, T.
ICAI-2002
Hybrid Mobile Security Protocol: Formal Verification using a New Modal Logic
2002
Published
()
Optional Fields
*
*
*
19-DEC-02
21-DEC-02
*
Grant Details