2003 | ||
---|---|---|
3 | EE | T. Newe, Tom Coffey: Security protocols for 2G and 3G wireless communications. ISICT 2003: 335-340 |
2 | T. Newe, Tom Coffey: Formal verification logic for hybrid security protocols. Comput. Syst. Sci. Eng. 18(1): 17-25 (2003) | |
1998 | ||
1 | EE | Tom Coffey, T. Newe: Realisation of a minimum-knowledge identification and signature scheme. Computers & Security 17(3): 253-264 (1998) |
1 | Tom Coffey | [1] [2] [3] |