Ensuring Consent and Revocation: Towards a Taxonomy of Consent (2009)
Creese, Sadie, Goldsmith, Michael, Papanikolaou, Nikolaos
This poster presents the aims and objectives of EnCoRe, a large-scale multidisciplinary research project in e-security which is concerned with privacy controls for personal information. As the...
Irfan Zakiuddin, Sadie Creese, Bill Roscoe, Michael Goldsmith
The pervasive computing paradigm foresees communicating and computational devices embedded in all parts of our environment, from our physical selves, to our homes, our offices, our streets and so...
Assumption-Commitment Support for CSP Model Checking (2006)
Moffat, Nick, Goldsmith, Michael
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM [= SYS || ASS, for some...
Assumption-Commitment Support for CSP Model Checking (2006)
Moffat, Nick, Goldsmith, Michael
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM
Assumption-Commitment Support for CSP Model Checking (2006)
Moffat, Nick, Goldsmith, Michael
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM [= SYS || ASS, for some...
Translated identities: 'Pakeha' as subjects of the Treaty of Waitangi (2005)
The politics of translation is clearly a perennial focus of debate in New Zealand, as shown by thematic links between the New Zealand social anthropology conferences at Waikato in 1990 and Auckland...
Exploiting empirical engagement in authenticated protocol design (2005)
Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
Abstract. We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classified by...
Theories of governance and pacific microstates: The cautionary tale of Tuvalu. (2005)
This paper questions the popularity of governance frameworks in explaining development failures and proposing new models of development for Pacific states. Such popularity is attributed to how...
Culture in safety and in danger (2005)
In late 1999, Michèle Dominy and Laurence Carucci announced a session on ‘critical ethnography’ at the forthcoming conference of the Association for Social Anthropology in Oceania to be held in...
Van Meijl, Toon, Goldsmith, Michael
Various questions are addressed regarding recognition of special rights for indigenous minorities in postcolonial nation-states, redistributing resources to redress longstanding indigenous grievances...
Culture, for and against: patterns of "Culturespeak" in New Zealand (2003)
Culture is invoked not only as a means of justifying redress for discrimination or historical injustice, but also as a standard of accountability by which the upholding of rights (or their...
Van Meijl, Toon, Goldsmith, Michael
Various questions are addressed regarding recognition of special rights for indigenous minorities in postcolonial nation-states, redistributing resources to redress longstanding indigenous grievances...
Culture, for and against: patterns of "Culturespeak" in New Zealand (2003)
Culture is invoked not only as a means of justifying redress for discrimination or historical injustice, but also as a standard of accountability by which the upholding of rights (or their...
Our Place in New Zealand Culture: How the Museum of New Zealand Constructs Biculturalism (2003)
The Museum of New Zealand Te Papa Tongarewa opened in 1998 amidst controversy but has been a huge popular success and has become an icon of national identity. The controversy was confined to elite...
Vot Long Pati Ia! (Your vote, our party) (2001)
Goldsmith, Michael, Barber, Keith
Review of the film "Vot Long Pati Ia!" The film is made by Wan Smolbag Theatre in Vanuatu and is a fascinating dramatization of political and developmental dilemmas in the South Pacific.
Kingfisher, Catherine, Goldsmith, Michael
Historically, the United States and Aotearoa/New Zealand symbolize opposite poles of an individualist-collectivist welfare state continuum. Until recently, Aotearoa/New Zealand was known as a...
On not knowing one’s place (2000)
Ethnographers have described many cultural worlds of the Pacific with subtlety and energy, but those worlds were and are always more complex than most standard forms of ethnography have recognized....
Fourth Quarterly Report on Contract N00014-93-C-0213. (1998)
The level of effort expended is currently broadly on track both at Formal Systems and at the Charles Stark Draper Laboratory (Draper) and Formal Systems (Europe) Ltd. This quarter's work has spilled...
This Document summarizes the progress to date in the Office of Naval Research SBIR Project N00014-93-C-0213 Embedded Transputer-based System Design and indicates the expected direction of the...
Higher degree by research : thesis/project submission (1997)
Caption title. Includes: Inactivity : project notes / Michael Goldsmith, 1997. Typescript (photocopy) Includes bibliographical references.
Irfan Zakiuddin, Dera Malvern, Michael Goldsmith, Jason Hulance
Key management systems are central to secure informations systems. Changing paradigms in technology and the increasing dependency on technology, by all aspect of society, will mean that key...
The meaning and implementation of PRI ALT in occam (1988)
Geoff Barrett, Michael Goldsmith, Geraint Jones, Andrew Kay
This paper describes what we believe to be an error in the implementation of PRI ALT on the inmos transputer, and exhibits anomalous behaviour of that implementation. A correct implementation of...
Submitted in partial fulfillment of the requirements for the Doctoral Degree in Biophysics, State University of New York, Downstate Medical Center, Brooklyn, New York.
Biological Ion Exchanger Resins: II. QUERP Water and Ion Exchange Selectivity
Damadian, Raymond, Goldsmith, Michael, Zaner, K. S.
Biological selectivity is shown to vary with medium osmotic strength and temperature. Selectivity reversals occur at 4°C and at an external osmolality of 0.800 indicating that intracellular...
Biological Ion Exchanger Resins: II. QUERP Water and Ion Exchange Selectivity
Damadian, Raymond, Goldsmith, Michael, Zaner, K. S.
Biological selectivity is shown to vary with medium osmotic strength and temperature. Selectivity reversals occur at 4°C and at an external osmolality of 0.800 indicating that intracellular...