The role for police in addressing alcohol-related harm inside and outside licensed premises

Alcohol consumption is enmeshed with Australian culture (Palk, 2008) and the use and misuse of alcohol contributes to considerable health and social harms (Barbor et al., 2010; English et al., 1995; Gutjahr, Gmel, & Rehm, 2001; Palk, 2008; Steenkamp, Harrison, & Allsop, 2002). Despite shifts in the way that alcohol is consumed and how it is used, it has been reported that one-third of all alcohol consumed is done so within licensed premises (Lang, Stockwell, Rydon, & Gamble, 1992). Consequently, licensed premises are over-represented as settings in which alcohol-related harms occur. These harms, particularly those related to violence, are associated with particular licensed premises operating in the night-time economy (Briscoe & Donnelly, 2001b; Chikritzhs, Stockwell, & Masters, 1997; Homel, Tomsen, & Thommeny, 1991; Stockwell, 1997). Police have a role in not only responding to the manifestation of harms, such as crime, injuries, assaults, domestic violence, stealing and sexual offences, but they also have a role in preventing problems, and thereby reducing alcohol and other drug-related harms (Doherty & Roche, 2003). Given the extent of alcohol consumption within licensed premises and the nature and extent of the harms, as well as the lack of opportunity to influence outcomes in other settings (e.g. the home), licensed premises offer police and other stakeholders a significant opportunity to influence positively the reduction of alcoholrelated harm. This research focuses specifically on the police role in policing licensed premises. Primarily, this research aims to investigate the factors which are relevant to why and how police officers respond to alcohol-related incidents inside and outside licensed premises. It examines the attitudes and beliefs of police and assesses their knowledge, capacity and ability to effectively police licensed premises. The research methodology uses three distinct surveys. Each contributes to understanding the motivations and practice of police officers in this important area of harm reduction. Study One involved a survey of police officers within a police district (Brisbane Central District) in Queensland, Australia and used a comprehensive questionnaire involving both quantitative and qualitative techniques. A key research outcome of Study One was the finding that officers had low levels of knowledge of the strategies that are effective in addressing alcohol-related harm both inside and outside licensed premises. Paradoxically, these officers also reported extensive recent experience in dealing with alcohol issues in these locations. In addition, these officers reported that alcohol was a significant contextual factor in the majority of matters to which they responded. Officers surveyed reported that alcohol increased the difficulty of responding to situations and that licensed premises (e.g. nightclubs, licensed clubs and hotels) were the most difficult contexts to police. Those surveyed were asked to self-assess their knowledge of the Liquor Act (Qld), which is the primary legislative authority in Queensland for regulating licensed premises. Surprisingly, well over half of the officers (65%) reported ‘no’ to ‘fair’ knowledge of the Act, despite officers believing that their skill level to police such premises was in the ‘good to very good range’. In an important finding, officers reported greater skill level to police outside licensed premises than inside such premises, indicating that officers felt less capable, from a skill perspective, to operate within the confines of a licensed premise than in the environment immediately outside such premises. Another key finding was that officers reported greater levels of training in responding to situations outside and around licensed premises than to situations inside licensed premises. Officers were also asked to identify the frequency with which they employed specified regulatory enforcement and community-based strategies. Irrespective of the type of response, ‘taking no action’ or passive policing interventions were not favoured by officers. The findings identified that officers favoured taking a range of strategies (sending home, releasing into the custody of friends, etc.) in preference to arrest. In another key finding, officers generally reported their support for operational stakeholder partnership approaches to policing licensed premises. This was evidenced by the high number of officers (over 90%) reporting that there should be shared responsibility for enforcing the provisions of the Liquor Act. Importantly, those surveyed also identified the factors which constrain or prevent them from policing licensed premises. Study Two involved interviewing a small but comprehensive group (n=11) of senior managers from within the Queensland Police Service (QPS) who have responsibility for setting operational and strategic policy. The aim of this study was to examine the attitudes, perceptions and influence that senior officers (at the strategy and policy-setting level) had on the officers at the operational level. This qualitative study was carried out using a purposive sampling (Denzin & Lincoln, 2005; Guba & Lincoln, 1989), focused interview and thematic analytic approach. The interview participants were drawn from three tiers of management at district, regional as well as the whole-of-organisational level. The first key theme emerging from the study related to role, in terms of both the QPS broader organisational role, and the individual officer role with respect to the policing of licensed premises. For the QPS organisational role, participants at all three strategic levels had a high degree of congruity as to the organisations service role; that is, to enhance public safety. With respect to participants’ beliefs as to whether police officers have knowledge and understanding of their individual roles concerning licensed premises (as opposed to the QPS role), participants reported most commonly that officers had a reasonable to clear understanding of their role. Participant comments also were supportive of the view that officers operating in the research area, Brisbane Central District (BCD), had a clearer understanding of their role than police operating in other locations. The second key theme to emerge identified a disparity between the knowledge and capability of specialist police, compared with general duties police, to police licensed premises. In fact, a number of the responses to a variety of questions differentiated specialist and general police in a range of domains. One such example related to the clarity of understanding of officer role. Participants agreed that specialist police (Liquor Enforcement & Proactive Strategies [LEAPS] officers) had more clarity of understanding in terms of their role than generalist police. Participants also were strongly of the opinion that specialist police had higher skill levels to deal with issues both inside and outside licensed premises. Some participants expressed the view that general duty police undertook purely response-related activities, or alternatively, dealt with lower order matters. Conversely, it was viewed that specialist police undertook more complex tasks because of their higher levels of knowledge and skill. The third key theme to emerge concerned the identification of barriers that serve to restrict or prevent police officers from policing licensed premises. Participant responses strongly indicated that there was a diversity of resourcing barriers that restrict police from undertaking their roles in licensed premises. Examples of such barriers were the lack of police and the low ratio of police to patrons, available officer time, and lack of organisational investment in skills and knowledge acquisition. However, some participants indicated that police resourcing in the BCD was appropriate and officers were equipped with sufficient powers (policy and legislation). Again, the issue of specialist police was raised by one participant who argued that increasing the numbers of specialist police would ameliorate the difficulties for police officers policing licensed premises. The fourth and last key theme to emerge from Study Two related to the perception of senior officers regarding the opportunity and capability of officers to leverage off external partnerships to reduce harms inside and outside licensed premises. Police working in partnership in BCD was seen as an effective harm reduction strategy and strongly supported by the participants. All participants demonstrated a high degree of knowledge as to who these partners were and could identify those government, non-government and community groups precisely. Furthermore, the majority of participants also held strong views that the partnerships were reasonably effective and worked to varying degrees depending on the nature of the partnership and issues such as resourcing. These senior officers identified better communication and coordination as factors that could potentially strengthen these partnerships. This research finding is particularly important for senior officers who have the capacity to shape the policy and strategic direction of the police service, not only in Queensland but throughout Australasia. Study Three examined the perceptions of those with links to the broader liquor industry (government, non-government and community but exclusive of police) concerning their understanding of the police role and the capacity of police to reduce alcohol-related harm inside and outside licensed premises, and their attitudes towards police. Participants (n=26) surveyed represented a range of areas including the liquor industry, business represenatives and government representatives from Queensland Fire and Rescue Service, Queensland Ambulance Service, Brisbane City Council and Queensland Health. The first key theme to emerge from Study Three related to participant understanding of the QPS organisational role, and importantly, individual officer role in policing licensed premises. In terms of participant understanding of the QPS role there was a clear understanding by the majority of participants that the police role was to act in ways consistent with the law and to otherwise engage in a range of enforcement-related activities. Participants saw such activities falling into two categories. The first category related to reactive policing, which included actions around responding to trouble in licensed premises, monitoring crowd controllers and removing trouble-makers. In the second category, proactive approaches, participants identified the following activities as consistent with that approach: early intervention with offenders, support of licensed premises operators and high visibility policing. When participants were asked about their understanding of individual officer roles in the policing of licensed premises, a range of responses were received but the consistent message that emerged was that there is a different role to be played by general duty (uniformed) police compared to specialist (LEAPS Unit) police, which reflects differences in knowledge, skill and capability. The second key theme that emerged from the data related to the external participants’ views of the knowledge and capability of specialist police, compared with general duty police, to police licensed premises. As noted in the first key theme, participants were universally of the view that the knowledge, skill and capability of police in specialist units (LEAPS Unit) was at a higher level than that of general duty police. Participants observed that these specialist officers were better trained than their colleagues in generalist areas and were therefore better able to intervene knowledgeably and authoritatively to deal with problems and issues as they emerged. Participants also reported that officers working within BCD generally had a positive attitude to their duties and had important local knowledge that they could use in the resolution of alcohol-related issues. Participants also commented on the importance of sound and effective QPS leadership, as well as the quality of the leadership in BCD. On both these measures, there was general consensus from participants, who reported positively on the importance and effectiveness of such leadership in BCD. The third key theme to emerge from Study Three concerned the identification of barriers that serve to restrict or prevent police officers from policing licensed premises. Overwhelmingly, external participants reported the lack of human resources (i.e. police officers) as the key barrier. Other resourcing limitations, such as available officer time, police computer systems, and the time taken to charge offenders, were identified as barriers. Some participants identified barriers in the liquor industry such as ‘dodgy operators’ and negative media attention as limitations. Other constraints to emerge related to government and policy barriers. These were reflected in comments about the collection by government of fees from licensees and better ‘powers’ for police to deal with offenders. The fourth and final key theme that emerged from Study Three related to the opportunities for and capability of police to leverage off external partnerships to reduce harms inside and outside licensed premises. Not surprisingly, participants had a comprehensive knowledge of a broad range of stakeholders, from a diversity of contexts, influential in addressing issues in licensed premises. Many participants reported their relationships with the police and other stakeholders as effective, productive and consistent with the objectives of partnering to reduce alcohol-related harm. On the other hand, there were those who were concerned with their relationship with other stakeholders, particularly those with a compliance function (e.g. Office of Liquor & Gaming Regulation [OLGR]). The resourcing limitations of partners and stakeholders were also raised as an important constraining factor in fulfilling the optimum relationship. Again, political issues were mentioned in terms of the impact on partnerships, with participants stating that there is at times political interference and that politicians complicate the relationships of stakeholders. There are some significant strengths with respect to the methodology of this research. The research is distinguished from previous work in that it examines these critical issues from three distinct perspectives (i.e. police officer, senior manager and external stakeholder). Other strengths relate to the strong theoretical framework that guides and informs the research. There are also some identified limitations, including the subjective nature of self-report data as well as the potential for bias by the author, which was controlled for using a range of initiatives. A further limitation concerns the potential for transferability and generalisability of the findings to other locations given the distinctive nature of the BCD. These limitations and issues of transferability are dealt with at length in the thesis. Despite a growing body of literature about contextual harms associated with alcohol, and specific research concerning police intervention in such contextual harms, there is still much to learn. While research on the subject of police engaging in alcohol-related incidents has focused on police behaviours and strategies in response to such issues, there is a paucity of research that focuses on the knowledge and understanding of officers engaged in such behaviours and practices. Given the scarcity of research dealing with the knowledge, skills and attitudes of police officers responding to harms inside and outside licensed premises, this research contributes significantly to what is a recent and growing body of research and literature in the field. The research makes a practical contribution to police agencies’ understanding of officer knowledge and police practice in ways that have the potential to shape education and training agendas, policy approaches around generalist versus specialist policing, strategic and operational strategy, as well as partnership engagements. The research also makes a theoretical contribution given that the research design is informed by the Three Circle

'Information in context' : co-designing workplace structures and systems for organizational learning

With the aim of advancing professional practice through better understanding how to create workplace contexts that cultivate individual and collective learning through situated 'information in context' experiences, this paper presents insights gained from three North American collaborative design (co-design) implementations. In the current project at the Auraria Library in Denver, Colorado, USA, participants use collaborative information practices to redesign face-to-face and technology-enabled communication, decision making, and planning systems. Design processes are described and results-to-date described, within an appreciative framework which values information sharing and enables knowledge creation through shared leadership.

Cross-layer design and optimization for wireless networked control systems

Wireless networked control systems (WNCSs) have been widely used in the areas of manufacturing and industrial processing over the last few years. They provide real-time control with a unique characteristic: periodic traffic. These systems have a time-critical requirement. Due to current wireless mechanisms, the WNCS performance suffers from long time-varying delays, packet dropout, and inefficient channel utilization. Current wirelessly networked applications like WNCSs are designed upon the layered architecture basis. The features of this layered architecture constrain the performance of these demanding applications. Numerous efforts have attempted to use cross-layer design (CLD) approaches to improve the performance of various networked applications. However, the existing research rarely considers large-scale networks and congestion network conditions in WNCSs. In addition, there is a lack of discussions on how to apply CLD approaches in WNCSs. This thesis proposes a cross-layer design methodology to address the issues of periodic traffic timeliness, as well as to promote the efficiency of channel utilization in WNCSs. The design of the proposed CLD is highlighted by the measurement of the underlying network condition, the classification of the network state, and the adjustment of sampling period between sensors and controllers. This period adjustment is able to maintain the minimally allowable sampling period, and also maximize the control performance. Extensive simulations are conducted using the network simulator NS-2 to evaluate the performance of the proposed CLD. The comparative studies involve two aspects of communications, with and without using the proposed CLD, respectively. The results show that the proposed CLD is capable of fulfilling the timeliness requirement under congested network conditions, and is also able to improve the channel utilization efficiency and the proportion of effective data in WNCSs.

Improving ultrasound excitation systems using a flexible power supply with adjustable voltage and frequency to drive piezoelectric transducers

The ability of a piezoelectric transducer in energy conversion is rapidly expanding in several applications. Some of the industrial applications for which a high power ultrasound transducer can be used are surface cleaning, water treatment, plastic welding and food sterilization. Also, a high power ultrasound transducer plays a great role in biomedical applications such as diagnostic and therapeutic applications. An ultrasound transducer is usually applied to convert electrical energy to mechanical energy and vice versa. In some high power ultrasound system, ultrasound transducers are applied as a transmitter, as a receiver or both. As a transmitter, it converts electrical energy to mechanical energy while a receiver converts mechanical energy to electrical energy as a sensor for control system. Once a piezoelectric transducer is excited by electrical signal, piezoelectric material starts to vibrate and generates ultrasound waves. A portion of the ultrasound waves which passes through the medium will be sensed by the receiver and converted to electrical energy. To drive an ultrasound transducer, an excitation signal should be properly designed otherwise undesired signal (low quality) can deteriorate the performance of the transducer (energy conversion) and increase power consumption in the system. For instance, some portion of generated power may be delivered in unwanted frequency which is not acceptable for some applications especially for biomedical applications. To achieve better performance of the transducer, along with the quality of the excitation signal, the characteristics of the high power ultrasound transducer should be taken into consideration as well. In this regard, several simulation and experimental tests are carried out in this research to model high power ultrasound transducers and systems. During these experiments, high power ultrasound transducers are excited by several excitation signals with different amplitudes and frequencies, using a network analyser, a signal generator, a high power amplifier and a multilevel converter. Also, to analyse the behaviour of the ultrasound system, the voltage ratio of the system is measured in different tests. The voltage across transmitter is measured as an input voltage then divided by the output voltage which is measured across receiver. The results of the transducer characteristics and the ultrasound system behaviour are discussed in chapter 4 and 5 of this thesis. Each piezoelectric transducer has several resonance frequencies in which its impedance has lower magnitude as compared to non-resonance frequencies. Among these resonance frequencies, just at one of those frequencies, the magnitude of the impedance is minimum. This resonance frequency is known as the main resonance frequency of the transducer. To attain higher efficiency and deliver more power to the ultrasound system, the transducer is usually excited at the main resonance frequency. Therefore, it is important to find out this frequency and other resonance frequencies. Hereof, a frequency detection method is proposed in this research which is discussed in chapter 2. An extended electrical model of the ultrasound transducer with multiple resonance frequencies consists of several RLC legs in parallel with a capacitor. Each RLC leg represents one of the resonance frequencies of the ultrasound transducer. At resonance frequency the inductor reactance and capacitor reactance cancel out each other and the resistor of this leg represents power conversion of the system at that frequency. This concept is shown in simulation and test results presented in chapter 4. To excite a high power ultrasound transducer, a high power signal is required. Multilevel converters are usually applied to generate a high power signal but the drawback of this signal is low quality in comparison with a sinusoidal signal. In some applications like ultrasound, it is extensively important to generate a high quality signal. Several control and modulation techniques are introduced in different papers to control the output voltage of the multilevel converters. One of those techniques is harmonic elimination technique. In this technique, switching angles are chosen in such way to reduce harmonic contents in the output side. It is undeniable that increasing the number of the switching angles results in more harmonic reduction. But to have more switching angles, more output voltage levels are required which increase the number of components and cost of the converter. To improve the quality of the output voltage signal with no more components, a new harmonic elimination technique is proposed in this research. Based on this new technique, more variables (DC voltage levels and switching angles) are chosen to eliminate more low order harmonics compared to conventional harmonic elimination techniques. In conventional harmonic elimination method, DC voltage levels are same and only switching angles are calculated to eliminate harmonics. Therefore, the number of eliminated harmonic is limited by the number of switching cycles. In the proposed modulation technique, the switching angles and the DC voltage levels are calculated off-line to eliminate more harmonics. Therefore, the DC voltage levels are not equal and should be regulated. To achieve this aim, a DC/DC converter is applied to adjust the DC link voltages with several capacitors. The effect of the new harmonic elimination technique on the output quality of several single phase multilevel converters is explained in chapter 3 and 6 of this thesis. According to the electrical model of high power ultrasound transducer, this device can be modelled as parallel combinations of RLC legs with a main capacitor. The impedance diagram of the transducer in frequency domain shows it has capacitive characteristics in almost all frequencies. Therefore, using a voltage source converter to drive a high power ultrasound transducer can create significant leakage current through the transducer. It happens due to significant voltage stress (dv/dt) across the transducer. To remedy this problem, LC filters are applied in some applications. For some applications such as ultrasound, using a LC filter can deteriorate the performance of the transducer by changing its characteristics and displacing the resonance frequency of the transducer. For such a case a current source converter could be a suitable choice to overcome this problem. In this regard, a current source converter is implemented and applied to excite the high power ultrasound transducer. To control the output current and voltage, a hysteresis control and unipolar modulation are used respectively. The results of this test are explained in chapter 7.

Wide area control through aggregation of power systems

This thesis was a step forward in improving the stability of power systems by applying new control and modelling techniques. The developed methods use the data obtained from voltage angle measurement devices which are synchronized with GPS signals to stabilize the system and avoid system-wide blackouts in the event of severe faults. New approaches were developed in this research for identifying and estimating reduced dynamic system models using phasor measurement units. The main goal of this research is achieved by integrating the developed methods to obtain a feasible wide-area control system for stabilizing the power systems.

Systems thinking : an approach for advancing workplace information literacy

As the importance of information literacy has gained increased recognition, so too have academic library professionals intensified their efforts to champion, activate, and advance these capabilities in others. To date, however, little attention has focused on advancing these essential competencies amongst practitioner advocates.This paper helps redress the paucity of professional literature on the topic of workplace information literacy among library professionals.

Assessing resilience of water resources systems under the impacts of climate change

This paper presents an approach to assess the resilience of a water supply system under the impacts of climate change. Changes to climate characteristics such as rainfall, evapotranspiration and temperature can result in changes to the global hydrological cycle and thereby adversely impact on the ability of water supply systems to meet service standards in the future. Changes to the frequency and characteristics of floods and droughts as well as the quality of water provided by groundwater and surface water resources are the other consequences of climate change that will affect water supply system functionality. The extent and significance of these changes underline the necessity for assessing the future functionality of water supply systems under the impacts of climate change. Resilience can be a tool for assessing the ability of a water supply system to meet service standards under the future climate conditions. The study approach is based on defining resilience as the ability of a system to absorb pressure without going into failure state as well as its ability to achieve an acceptable level of function quickly after failure. In order to present this definition in the form of a mathematical function, a surrogate measure of resilience has been proposed in this paper. In addition, a step-by-step approach to estimate resilience of water storage reservoirs is presented. This approach will enable a comprehensive understanding of the functioning of a water storage reservoir under future climate scenarios and can also be a robust tool to predict future challenges faced by water supply systems under the consequence of climate change.

Novel channel tracking and equalization methods in MU-MIMO-OFDM systems

The methodology undertaken, the channel model and the system model created for developing a novel adaptive equalization method and a novel channel tracking method for uplink of MU-MIMO-OFDM systems is presented in this paper. The results show that the channel tracking method works with 97% accuracy, while the training-based initial channel estimation method shows poor performance in estimating the actual channel comparatively.

Introducing Masculinity Studies to Information Systems research : the case of Gaydar

I believe that studies of men's gendered experiences of information systems are needed. In order to support this claim, I introduce the area of Masculinity Studies to Information Systems research and, using this, present an exploratory analysis of an internet dating website for gay men – Gaydar. The information system, which forms part of the Gaydar community, is shown to shape, and be shaped by the members as they accept and challenge aspects of it as related to their identities. In doing this, I show how the intertwined processes of information systems development and use contribute to the creation of diverse interpretations of masculinity within a group of men. In sum, my analysis highlights different kinds of men and different versions of masculinity that can sometimes be associated with different experiences of information systems. The implications of this work centre on the need to expand our knowledge of men's gendered experiences with information systems, to reflect upon processes of technology facilitated categorisation and to consider the influences that contribute to the roll out of particular software features along with the underlying rationales for market segmentation in the software and software-based services industries.

Locating packaged software in information systems research

The papers in this issue focus our attention to packaged software as an increasingly important, but still relatively poorly understood phenomena in the information systems research community. The topic is not new: Lucas et al. (1988) wrote a provocative piece focused on the issues with implementing packaged software. A decade later, Carmel (1997) argued that packaged software was both ideally suited for American entrepreneurial activity and rapidly growing. The information systems research community, however, has moved more slowly to engage this change (e.g., Sawyer, 2001). The papers in this special issue represent a significant step in better engaging the issues of packaged software relative to information systems research, and highlighting opportunities for additional relevant research.

The development of a naturalistic car following model for assessing managed motorway systems' safety effects

This thesis highlights the limitations of the existing car following models to emulate driver behaviour for safety study purposes. It also compares the capabilities of the mainstream car following models emulating driver behaviour precise parameters such as headways and Time to Collisions. The comparison evaluates the robustness of each car following model for safety metric reproductions. A new car following model, based on the personal space concept and fish school model is proposed to simulate more precise traffic metrics. This new model is capable of reflecting changes in the headway distribution after imposing the speed limit form VSL systems. This research facilitates assessing Intelligent Transportation Systems on motorways, using microscopic simulation.

Investigating the success of operational business process management systems

Business process management systems (BPMS) belong to a class of enterprise information systems that are characterized by the dependence on explicitly modeled process logic. Through the process logic, it is relatively easy to manage explicitly the routing and allocation of work items along a business process through the system. Inspired by the DeLone and McLean framework, we theorize that these process-aware system features are important attributes of system quality, which in turn will elevate key user evaluations such as perceived usefulness, and usage satisfaction. We examine this theoretical model using data collected from four different, mostly mature BPM system projects. Our findings validate the importance of input quality as well as allocation and routing attributes as antecedents of system quality, which, in turn, determines both usefulness and satisfaction with the system. We further demonstrate how service quality and workflow dependency are significant precursors to perceived usefulness. Our results suggest the appropriateness of a multi-dimensional conception of system quality for future research, and provide important design-oriented advice for the design and configuration of BPMSs.

User expertise in contemporary information systems : conceptualization, measurement and application

The development of user expertise is a strategic imperative for organizations in hyper-competitive markets. This paper conceptualizes opreationalises and validates user expertise in contemporary Information Systems (IS) as a formative, multidimensional index. Such a validated and widely accepted index would facilitate progression of past research on user competence and efficacy of IS to complex contemporary IS, while at the same time providing a benchmark for organizations to track their user expertise. The validation involved three separate studies, including exploratory and confirmatory phases, using data from 244 respondents.

Efficiency of knowledge integration in enterprise systems implementation

Recent literature has emphasized the pivotal role of knowledge integration in Enterprise Systems (ES) success. This research-in-progress paper, building upon Knowledge Based Theory of the firm (KBT), examines the efficiency of knowledge integration in the context of ES implementation and identifies the factors contributing to its enhancement. The proposed model in this paper suggests that the efficiency of knowledge integration in an ES implementation process depends upon the level of common knowledge and the level of coordination in the ES adopting organization. It further suggests that the level of common knowledge can be enhanced by proper training, improving ES users’intrinsic and extrinsic motivations and business process modeling and the level of coordination can be improved by articulating a clear unified organizational goal for the ES adoption in the organization, forming a competent ES team, enhancing interdepartmental communication and the cross-functionality in the organization structure.

ASICS : authenticated key exchange security incorporating certification systems

Most security models for authenticated key exchange (AKE) do not explicitly model the associated certification system, which includes the certification authority (CA) and its behaviour. However, there are several well-known and realistic attacks on AKE protocols which exploit various forms of malicious key registration and which therefore lie outside the scope of these models. We provide the first systematic analysis of AKE security incorporating certification systems (ASICS). We define a family of security models that, in addition to allowing different sets of standard AKE adversary queries, also permit the adversary to register arbitrary bitstrings as keys. For this model family we prove generic results that enable the design and verification of protocols that achieve security even if some keys have been produced maliciously. Our approach is applicable to a wide range of models and protocols; as a concrete illustration of its power, we apply it to the CMQV protocol in the natural strengthening of the eCK model to the ASICS setting.