Security analysis of Australian and E.U. e-passport implementation

This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation and identify new threats when an e-passport system is integrated with an automated processing system like SmartGate. The paper also provides a security analysis of the European Union (EU) proposal for Extended Access Control (EAC) that is intended to provide improved security in protecting biometric information of the e-passport bearer. The current e-passport specification fails to provide a list of adequate security goals that could be used for security evaluation. We fill this gap; we present a collection of security goals for evaluation of e-passport protocols. Our analysis confirms existing security weaknesses that were previously identified and shows that both the Australian e-passport implementation and the EU proposal fail to address many security and privacy aspects that are paramount in implementing a secure border control mechanism. ACM Classification C.2.2 (Communication/Networking and Information Technology – Network Protocols – Model Checking), D.2.4 (Software Engineering – Software/Program Verification – Formal Methods), D.4.6 (Operating Systems – Security and Privacy Protection – Authentication)

An on-line secure e-passport protocol

The first generation e-passport standard is proven to be insecure and prone to various attacks. To strengthen, the European Union (EU) has proposed an Extended Access Control (EAC) mechanism for e-passports that intends to provide better security in protecting biometric information of the e-passport bearer. But, our analysis shows, the EU proposal fails to address many security and privacy issues that are paramount in implementing a strong security mechanism. In this paper we propose an on-line authentication mechanism for electronic passports that addresses the weakness in existing implementations, of both The International Civil Aviation Organisation (ICAO) and EU. Our proposal utilises ICAO PKI implementation, thus requiring very little modifications to the existing infrastructure which is already well established.

Os centros de especialidades odontológicas nos municípios do Estado do Rio de Janeiro: uma investigação dos fatores identificáveis como facilitadores ou não na implantação de uma política de indução financeira

Por um longo período o modelo de assistência em odontologia adotado no país se voltava apenas para um grupo etário da população as crianças e ainda se caracterizava pelo não conservadorismo, com um alto número de extrações, já que não existia uma estrutura que possibilitasse o acesso a outros níveis de atenção. Fato este reverberado pela ausência de políticas específicas de saúde bucal na esfera federal, até que em 2004 surge a Política Nacional de Saúde Bucal - Programa Brasil Sorridente. As diretrizes da política propõem a ampliação do acesso a todas as faixas etárias e o atendimento integral em todos os níveis, incentivando estados e municípios a criarem os Centros de Especialidades Odontológicos (CEO), que funcionariam como unidades de referência de média complexidade para as equipes de saúde bucal, oferecendo procedimentos mais complexos e conclusivos complementares aos realizados na atenção básica. O presente estudo analisa essa política de incentivo financeiro federal procurando identificar os elementos que possam ter contribuído ou dificultado a implantação dos CEO nos municípios do Estado do Rio de Janeiro no período de outubro de 2004 até dezembro de 2008. A análise foi baseada em documentos oficiais e entrevistas com atores relevantes para a compreensão das disputas deste processo.

Augmenter la vitesse d’injection de la cocaïne favorise l’apparition de comportements de consommation caractéristiques de la toxicomanie

Nombreux individus vont expérimenter avec les drogues d’abus, mais peu vont devenir toxicomanes. Plusieurs facteurs sont impliqués dans la transition d’un usage récréatif à l’addiction. Les drogues, les conditionnements et les voies d’administration qui mènent à l’augmentation rapide du taux drogue dans le cerveau favorisent cette évolution. La raison est méconnue. Nous avons émis l’hypothèse que l’injection rapide de drogue promeut des changements dans le cerveau qui mènent à l’augmentation de la consommation et de la motivation à obtenir la drogue. Nous avons comparé la consommation lors de conditions à ratio fixe (FR) et à ratio progressif (PR) chez des rats s’auto-administrant la cocaïne administrée par voie intraveineuse (i.v.) en 5 ou 90 secondes (s). Tous les rats ont été entrainés à peser sur un levier afin de s’auto administrer des injections de cocaïne de 0.25 ou 0.5 mg/kg par voie intraveineuse injectée en 5 s sous FR avant d’être divisés en groupes s’auto administrant la cocaïne injectée en 5 ou 90 s pendant 1 heure (h)/session. Pour étudier les différences potentielles en consommation, l’accès à la cocaïne à été augmenté à 6 h/session. Les différences en motivation ont été détectées par l’auto administration de la cocaïne sous PR en fonction de la dose et de la vitesse d’infusion. L’accès à la drogue pendant 1 h/session n’a pas influencé la consommation. Lorsque l’accès a été prolongé à 6 h, tous les animaux ont augmenté leur consommation, mais l’augmentation était plus prononcée chez les rats s’injectant la cocaïne en 5 s. De plus, la vitesse d’injection a influencé la motivation pour obtenir la drogue. Lors de conditions à PR, la courbe dose-réponse pour le nombre d’infusions prises a été déplacée vers le haut pour les rats s’auto administrant des injections de cocaïne en 5 s versus 90 s. De plus, des différences qualitatives on été observées en PR. La consommation de cocaïne des rats s’injectant des infusions en 5 s était dépendante de la dose, tandis que les rats s’auto administrant la drogue en 90 s ont pris la même quantité de drogue, peu importe la dose. Finalement, les rats s’auto administrant des infusions de cocaïne 0.5 mg/kg en 5 s ont consommé plus de cocaïne que les rats prenant des infusions en 90 s, peu importe si elle était injectée en 5 ou 90 s le jour du test. Ainsi, nos résultats montrent que l’injection rapide de drogue dans le cerveau mène à l’augmentation de la consommation et de la motivation pour obtenir la cocaïne, deux symptômes qui caractérisent la toxicomanie.

Augmenter la vitesse d'administration de la cocaïne facilite le développement d'une motivation exacerbée pour la drogue ne pouvant pas être expliquée uniquement par la quantité de drogue consommée ou l'étendue de l'entraînement opérant.

Les voies d'administration qui provoquent une entrée rapide de la drogue au cerveau sont connues pour faciliter le développement de la toxicomanie. Les études animales modélisant cet effet ont montré que des rats, qui ont un accès prolongé à des injections intraveineuses rapides de cocaïne (injectée en 5 ou 90 secondes), s'autoadministrent plus de drogue, ont un entraînement opérant plus élevé et sont subséquemment plus motivés à obtenir la cocaïne. La question est maintenant de savoir comment l'autoadministration de cocaïne injectée rapidement promeut une augmentation de la motivation à obtenir de la cocaïne. Cette motivation exagérée pourrait être une conséquence de l'exposition prolongée à de larges quantités de cocaïne et/ou de l'effet persistant d'un entraînement opérant extensif. De plus, on sait qu'augmenter la vitesse d'administration de la cocaïne modifie les circuits de la récompense et de la motivation. Ainsi, ceci pourrait promouvoir la motivation excessive pour la drogue. Nous avons cherché à déterminer l'influence de l'exposition à la drogue et de l'entraînement opérant sur le développement d'une motivation exacerbée pour la drogue. Les rats se sont autoadministrés de la cocaïne injectée en 5 ou 90 secondes (s) durant un accès limité (1h/session) ou prolongé (6h/session) avec un ratio fixe. La motivation pour la cocaïne a par la suite été évaluée à l'aide d'un ratio progressif (PR). Les rats ayant reçu la drogue injectée en 5 s durant l'accès prolongé (par rapport au groupe 90 secondes) ont pris plus de drogue et eu un entraînement opérant plus extensif alors qu'il n'y avait pas de différences dans la consommation et le niveau d'entraînement opérant entre les groupes ayant subit un accès limité uniquement. Les rats ayant consommé la drogue injectée en 5s, indépendamment du temps d'accès, ont toujours exprimé une motivation plus grande pour la drogue en PR. La quantité de cocaïne consommée ou l'ampleur de l'entraînement opérant ont été positivement corrélés avec la consommation de cocaïne en PR dans certains groupes. Par contre, le groupe qui a eu un accès prolongé aux injections rapides a montré une augmentation dans sa motivation à s'autoadministrer de la drogue qui n'était prédite ni par la quantité de cocaïne consommée ni par l'étendue de l'entraînement opérant. Ces résultats suggèrent que des injections rapide de cocaïne pourraient faciliter la toxicomanie en favorisant entre autre des modifications neurobiologiques qui mènent à une motivation pathologique pour la drogue.

An extended CDIO syllabus framework with preparatory engineering proficiencies

The CDIO Initiative has been globally recognised as an enabler for engineering education reform. With the CDIO process, the CDIO Standards and the CDIO Syllabus, many scholarly contributions have been made around cultural change, curriculum reform and learning environments. In the Australasian region, reform is gaining significant momentum within the engineering education community, the profession, and higher education institutions. This paper presents the CDIO Syllabus cast into the Australian context by mapping it to the Engineers Australia Graduate Attributes, the Washington Accord Graduate Attributes and the Queensland University of Technology Graduate Capabilities. Furthermore, in recognition that many secondary schools and technical training institutions offer introductory engineering technology subjects, this paper presents an extended self-rating framework suited for recognising developing levels of proficiency at a preparatory level. The framework is consistent with conventional application to undergraduate programs and professional practice, but adapted for the preparatory context. As with the original CDIO framework with proficiency levels, this extended framework is informed by Bloom’s Educational Objectives. A proficiency evaluation of Queensland Study Authority’s Engineering Technology senior syllabus is demonstrated indicating proficiency levels embedded within this secondary school subject within a preparatory scope. Through this extended CDIO framework, students and faculty have greater awareness and access to tools to promote (i) student engagement in their own graduate capability development, (ii) faculty engagement in course and program design, through greater transparency and utility of the continuum of graduate capability development with associate levels of proficiency, and the context in which they exist in terms of pre-tertiary engineering studies; and (iii) course maintenance and quality audit methodology for the purpose of continuous improvement processes and program accreditation.

A snapshot of Australian nurse practitioners’ extended practice activities

Introduction The Australian Nurse Practitioner Project (AUSPRAC) was initiated to examine the introduction of nurse practitioners into the Australian health service environment. The nurse practitioner concept was introduced to Australia over two decades ago and has been evolving since. Today, however, the scope of practice, role and educational preparation of nurse practitioners is well defined (Gardner et al, 2006). Amendments to specific pre-existing legislation at a State level have permitted nurse practitioners to perform additional activities including some once in the domain of the medical profession. In the Australian Capital Territory, for example 13 diverse Acts and Regulations required amendments and three new Acts were established (ACT Health, 2006). Nurse practitioners are now legally authorized to diagnose, treat, refer and prescribe medications in all Australian states and territories. These extended practices differentiate nurse practitioners from other advanced practice roles in nursing (Gardner, Chang & Duffield, 2007). There are, however, obstacles for nurse practitioners wishing to use these extended practices. Restrictive access to Medicare funding via the Medicare Benefit Scheme (MBS) and the Pharmaceutical Benefit Scheme (PBS) limit the scope of nurse practitioner service in the private health sector and community settings. A recent survey of Australian nurse practitioners (n=202) found that two-thirds of respondents (66%) stated that lack of legislative support limited their practice. Specifically, 78% stated that lack of a Medicare provider number was ‘extremely limiting’ to their practice and 71% stated that no access to the PBS was ‘extremely limiting’ to their practice (Gardner et al, in press). Changes to Commonwealth legislation is needed to enable nurse practitioners to prescribe medication so that patients have access to PBS subsidies where they exist; currently patients with scripts which originated from nurse practitioners must pay in full for these prescriptions filled outside public hospitals. This report presents findings from a sub-study of Phase Two of AUSPRAC. Phase Two was designed to enable investigation of the process and activities of nurse practitioner service. Process measurements of nurse practitioner services are valuable to healthcare organisations and service providers (Middleton, 2007). Processes of practice can be evaluated through clinical audit, however as Middleton cautions, no direct relationship between these processes and patient outcomes can be assumed.

Regulation of land access for resource development: A coal seam gas case study from Queensland

A number of regulatory statutes provide for agreements with landowners which are given extended effect, that is, are binding upon the landowner’s successors (‘statutory agreements’). Several Queensland statutes require a project proponent to enter into a statutory agreement with a landowner before a resource development activity can be carried out on private land or by accessing private land. Provisions of Queensland’s Petroleum and Gas (Production and Safety) Act 2004 make certain types of statutory agreements binding upon successors and assigns of the landowner, but do not clearly prescribe the nature and contents of an agreement, nor require that the agreement be recorded on the land title or petroleum register. If statutory agreements are to be used for such purposes, their purpose and content should be more clearly defined by statute and they should be recorded on a searchable register.

Facilitators of expanded and extended scope of paramedic practice - what makes them work?

Introduction Better integration of health services and redefinition of health workforce roles through expanding and extending traditional scope of clinical practice have been explored nationally and internationally. This paper aims to extend our earlier work by examining models of expanded and extended scope of paramedic practice for attributes which facilitate such a practice. Methods An exploratory multi-case study analysis of Australia, New Zealand, Canada and the United Kingdom expanded and extended paramedic practices were analysed. Results Successful models of advanced practice harness the capacity and personality of the paramedic practitioner, and are supported by enabling infrastructures, specifically: professional development/ education; clinical guideline and policy (boundary); access to physical infrastructure and clinical support from senior medical practitioners; and, ability to directly refer to other health services (service integration). The scope of advanced practice is however influenced by individual employers’ capacity, perceived needs and preference/ prioritises. The potential for advanced paramedic practice is equally applicable to urban as well as rural Australia. The Council of Ambulance Authorities’ Professional Competency Standard provides the form and functions for building on advanced paramedic practice. Recognition of such advanced paramedic practice provides a structure for professional growth, process for career progression and will support workforce retention. Conclusion The achievement of advanced knowledge and skills has positioned the paramedic profession to be recognized as a valuable clinician. The Council of Ambulance Authorities’ Professional Competency Standards provides the form and function for supporting advanced paramedic practice.

Dalby Shopping Precinct Survey Report : Consumer Attitudes towards Proposed Extended Trading Hours at Dalby

Data was collected to measure shopper’s attitudes toward the proposed Sunday and limited public holiday trading in Dalby. Survey questionnaires were conducted between 29th August to 31st August at Coles Dalby and Dalby Shoppingtown Plaza. In total, 150 respondents participated in the survey. Overall, the findings suggest that most respondents, especially males, couples with children, fulltime workers and those under the age of 49 years, embrace the proposed Sunday and limited holiday trading in Dalby. While there are concerns over increasing competition for smaller retailers who already trade on Sundays, a majority of respondents indicated it would suit their lifestyle, be convenient, provide more jobs, increase trade for smaller retailers within the area, reduce queues and congestion observed on Saturdays. The majority of those shoppers that indicated they currently did some shopping on a Sunday reported they would continue to support smaller retailers who currently trade on Sundays and some public holidays, if changes came about. Those opposed to changes to trading hours indicated a belief that existing trading hours were sufficient. Most people indicated the proposed extension of trading hours would not harm the community or have a negative, detrimental effect on themselves or their family. The main findings presented in the report are as follows: - 96.8% of respondents surveyed reported to be local, permanent residents of Dalby. - Residents of Dalby visited shopping centres and stores on average 2.8 times per week. This frequency is proportionately higher than the average Australian shopping behaviour at 2.5 times per week (Roy Morgan Supermarket Monitor). - It was determined that weekday evenings (after 5 pm) were the busiest times for shopping, with Saturday the next most popular day to shop. - 68% of respondents support the proposal of the extended trading hours at supermarkets, department stores and the shopping centre in Dalby, 26% oppose and 6% are unsure. - 90% of the respondents agreed that residents of Dalby should be allowed the same choice as other regional towns and cities in supporting/opposing changes to trading hours. The remaining 10% expressed a disagreement. - A larger percentage of males supported the proposal for Sunday and limited holiday trading. Of all the males surveyed, 80% were in support, 15% were opposed and 5% unsure. 60% of female respondents support the proposal, while 33% oppose it and 5% were unsure. - The highest percentage of support exists in fulltime workers with 90% of those respondents supporting the proposal. - In contrast, the lowest percentage of support was found in the non-working (retired/unemployed) respondents, where 67% opposed the application. - It was noted that 71% of respondents employed casually also indicated opposition against proposed changes. Further questioning identified an underlying concern from casually employed persons that Sunday trade would force them onto Sunday work rosters. - 92% of shared households expressed support for Sunday and limited public holiday trading, while 83% of both couples with children and single parent with children at home also supported the application. - 72% of the respondents often find it necessary to do some grocery shopping in Dalby on a Sunday. 76% of shoppers who indicated they already undertook some shopping on Sunday, indicated would continue to shop and support smaller retailers. - Of the respondents surveyed, 44% have travelled outside of Dalby on a Sunday to shop. This indicates that such residents find it necessary to undertake some shopping on a Sunday and in order to do so, drive an hour to Toowoomba in order to access a range of retailers. - The most cited reasons for supporting Sunday and limited public holiday trade were; ‘More choice about when I shop and that is convenient’ (69%), ‘Sunday trade will create job opportunities’ (71%), ‘Sunday trade will be helpful when preparing school lunches and getting ready for the working week’ (62%), and ‘Sunday trade will reduce shopping congestion during peak shopping periods’ (62%) - The most cited reasons for opposing the proposed changes are that ‘Sunday trade may increase competition for small retailers who already trade on Sunday’ (41%), ‘Shops are already open 6 days a week which is enough’ (31%), and ‘Sunday is a day of rest or a religious day and shopping should not be allowed’ (23%). - 97% of respondents indicated they would not change their sporting or social commitment if changes to trading hours were implemented.

Mt Isa Shopping Precinct Survey Report : Consumer Attitudes towards Proposed Extended Trading Hours at Mt Isa

Data was collected to measure shopper’s attitudes toward the proposed Sunday and limited public holiday trading in Mt Isa. Survey questionnaires were conducted between 15th August to 17th August at Kmart Plaza, Woolworths, Miles St. and Mt Isa Plaza. In total, 300 respondents participated in the survey. Overall, the findings suggest that most respondents, especially males, couples with children and fulltime workers, embrace the proposed Sunday and limited holiday trading in Mt Isa. While there are concerns over increasing competition for smaller retailers who already trade on Sundays, a majority of respondents indicated it would suit their lifestyle, be convenient, provide more jobs, increase trade for smaller retailers within the area, reduce queues and congestion, and offer a less expensive grocery shopping. The majority of those shoppers that indicated they currently did some shopping on a Sunday reported they would continue to support smaller retailers who currently trade on Sundays and some public holidays, if changes came about. Those opposed to changes to trading hours also indicated a belief that existing trading hours were sufficient. Most people indicated the proposed extension of trading hours would not harm the community or have a negative, detrimental effect on themselves or their family. The main findings presented in the report are as follows: - 96% of respondents surveyed reported to be local, permanent residents of Mt Isa. - Residents of Mt Isa visited shopping centres and stores on average 2.4 times per week. This mirrors the average Australian shopping behaviour at 2.5 times per week (Roy Morgan Supermarket Monitor) - It was determined that Saturday was the busiest day for shopping with a majority of respondents indicating they visited stores on that day of the week. - 71% of respondents support the proposal of extended trading hours at shopping centres in Mt Isa, 25% oppose and 4% are unsure. - 87% of the respondents agreed that residents of Mt Isa should be allowed the same choice as other regional towns and cities in supporting/opposing changes to trading hours. The remaining 13% expressed a disagreement. - A larger percentage of males supported the proposal for Sunday and limited holiday trading. Of all the males surveyed, 81% were in support, 17% were opposed and 2% unsure. By contrast, 64% of female respondents support the proposal, while 31% oppose it and 5% are unsure. - The highest percentage of support exists in fulltime workers with 85% of those respondents supporting the proposal. In contrast, the lowest percentage of support was found in the non-working respondents, where 62% opposed the application. - 78% of couples living with children at home expressed support for Sunday and limited public holiday trading, while 60% of couples without children also supported the application. - Of the respondents surveyed, virtually none (less than 1%) have travelled outside of Mt Isa on a Sunday to shop. This indicates that due to the remote and isolated location of this town, residents do not have the option to travel reasonable distances in order to access a range of retailers. - 70% of the respondents often find it necessary to do some grocery shopping in Mt Isa on a Sunday. - Convenience is cited as the major reason for support (79%) followed by lifestyle (75%). - The most cited reasons for supporting ‘it would be convenient’ (81%), ‘It may create more jobs’ (77%), ‘It may reduce congestion during busy shopping periods’ (74%, and ‘It would make it easier for working families with kids’ (74%). - The most cited reasons for opposing the proposed changes are that ‘It will disadvantage smaller businesses’ (44%), ‘It is unnecessary’ (29%). - 72% of shoppers who indicated they already undertook some shopping on Sunday, indicated would continue to shop and support smaller retailers. - 98% of respondents indicated they would not change their sporting or social commitment if changes to trading hours were implemented.

Dual compressible hybrid quantum secret sharing schemes based on extended unitary operations

A crucial issue with hybrid quantum secret sharing schemes is the amount of data that is allocated to the participants. The smaller the amount of allocated data, the better the performance of a scheme. Moreover, quantum data is very hard and expensive to deal with, therefore, it is desirable to use as little quantum data as possible. To achieve this goal, we first construct extended unitary operations by the tensor product of n, n ≥ 2, basic unitary operations, and then by using those extended operations, we design two quantum secret sharing schemes. The resulting dual compressible hybrid quantum secret sharing schemes, in which classical data play a complementary role to quantum data, range from threshold to access structure. Compared with the existing hybrid quantum secret sharing schemes, our proposed schemes not only reduce the number of quantum participants, but also the number of particles and the size of classical shares. To be exact, the number of particles that are used to carry quantum data is reduced to 1 while the size of classical secret shares also is also reduced to l−2 m−1 based on ((m+1, n′)) threshold and to l−2 r2 (where r2 is the number of maximal unqualified sets) based on adversary structure. Consequently, our proposed schemes can greatly reduce the cost and difficulty of generating and storing EPR pairs and lower the risk of transmitting encoded particles.

Human mesenchymal stem cells retain multilineage differentiation capacity including neural marker expression after extended in vitro expansion

The suitability of human mesenchymal stem cells (hMSCs) in regenerative medicine relies on retention of their proliferative expansion potential in conjunction with the ability to differentiate toward multiple lineages. Successful utilisation of these cells in clinical applications linked to tissue regeneration requires consideration of biomarker expression, time in culture and donor age, as well as their ability to differentiate towards mesenchymal (bone, cartilage, fat) or non-mesenchymal (e.g., neural) lineages. To identify potential therapeutic suitability we examined hMSCs after extended expansion including morphological changes, potency (stemness) and multilineage potential. Commercially available hMSC populations were expanded in vitro for > 20 passages, equating to > 60 days and > 50 population doublings. Distinct growth phases (A-C) were observed during serial passaging and cells were characterised for stemness and lineage markers at representative stages (Phase A: P+5, approximately 13 days in culture; Phase B: P+7, approximately 20 days in culture; and Phase C: P+13, approximately 43 days in culture). Cell surface markers, stem cell markers and lineage-specific markers were characterised by FACS, ICC and Q-PCR revealing MSCs maintained their multilineage potential, including neural lineages throughout expansion. Co-expression of multiple lineage markers along with continued CD45 expression in MSCs did not affect completion of osteogenic and adipogenic specification or the formation of neurospheres. Improved standardised isolation and characterisation of MSCs may facilitate the identification of biomarkers to improve therapeutic efficacy to ensure increased reproducibility and routine production of MSCs for therapeutic applications including neural repair.