Yu-Cheng Tu, Clark Thomborson. Preliminary Security Specification for New Zealand's igovt System. In Ljiljana Brankovic, Willy Susilo, editors, Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009. Volume 98 of CRPIT, pages 79-88, Australian Computer Society, 2009. [doi]
Abstract is missing.