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)

Information Security and Privacy : Proceedings of the 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004.

Preface The 9th Australasian Conference on Information Security and Privacy (ACISP 2004) was held in Sydney, 13–15 July, 2004. The conference was sponsored by the Centre for Advanced Computing – Algorithms and Cryptography (ACAC), Information and Networked Security Systems Research (INSS), Macquarie University and the Australian Computer Society. The aims of the conference are to bring together researchers and practitioners working in areas of information security and privacy from universities, industry and government sectors. The conference program covered a range of aspects including cryptography, cryptanalysis, systems and network security. The program committee accepted 41 papers from 195 submissions. The reviewing process took six weeks and each paper was carefully evaluated by at least three members of the program committee. We appreciate the hard work of the members of the program committee and external referees who gave many hours of their valuable time. Of the accepted papers, there were nine from Korea, six from Australia, five each from Japan and the USA, three each from China and Singapore, two each from Canada and Switzerland, and one each from Belgium, France, Germany, Taiwan, The Netherlands and the UK. All the authors, whether or not their papers were accepted, made valued contributions to the conference. In addition to the contributed papers, Dr Arjen Lenstra gave an invited talk, entitled Likely and Unlikely Progress in Factoring. This year the program committee introduced the Best Student Paper Award. The winner of the prize for the Best Student Paper was Yan-Cheng Chang from Harvard University for his paper Single Database Private Information Retrieval with Logarithmic Communication. We would like to thank all the people involved in organizing this conference. In particular we would like to thank members of the organizing committee for their time and efforts, Andrina Brennan, Vijayakrishnan Pasupathinathan, Hartono Kurnio, Cecily Lenton, and members from ACAC and INSS.

The Eligibility Definition Used in the Social Security Administration’s Disability Programs Needs to be Changed

In its October 2003 report on the definition of disability used by the Social Security Administration’s (SSA’s) disability programs [i.e., Social Security Disability Insurance (SSDI) and Supplemental Security Income (SSI) for people with disabilities], the Social Security Advisory Board raises the issue of whether this definition is at odds with the concept of disability embodied in the Americans with Disabilities Act (ADA) and, more importantly, with the aspirations of people with disabilities to be full participants in mainstream social activities and lead fulfilling, productive lives. The Board declares that “the Nation must face up to the contradictions created by the existing definition of disability.” I wholeheartedly agree. Further, I have concluded that we have to make fundamental, conceptual changes to both how we define eligibility for economic security benefits, and how we provide those benefits, if we are ever to fulfill the promise of the ADA. To convince you of that proposition, I will begin by relating a number of facts that paint a very bleak picture – a picture of deterioration in the economic security of the population that the disability programs are intended to serve; a picture of programs that purport to provide economic security, but are themselves financially insecure and subject to cycles of expansion and cuts that undermine their purpose; a picture of programs that are facing their biggest expenditure crisis ever; and a picture of an eligibility determination process that is inefficient and inequitable -- one that rations benefits by imposing high application costs on applicants in an arbitrary fashion. I will then argue that the fundamental reason for this bleak picture is the conceptual definition of eligibility that these programs use – one rooted in a disability paradigm that social scientists, people with disabilities, and, to a substantial extent, the public have rejected as being flawed, most emphatically through the passage of the ADA. Current law requires eligibility rules to be based on the premise that disability is medically determinable. That’s wrong because, as the ADA recognizes, a person’s environment matters. I will further argue that programs relying on this eligibility definition must inevitably: reward people if they do not try to help themselves, but not if they do; push the people they serve out of society’s mainstream, fostering a culture of isolation and dependency; relegate many to a lifetime of poverty; and undermine their promise of economic security because of the periodic “reforms” that are necessary to maintain taxpayer support. I conclude by pointing out that to change the conceptual definition for program eligibility, we also must change our whole approach to providing for the economic security of people with disabilities. We need to replace our current “caretaker” approach with one that emphasizes helping people with disabilities help themselves. I will briefly describe features that such a program might require, and point out the most significant challenges we would face in making the transition.

Promising Practices: Ensuring Choice Under the Ticket to Work Program - The Indiana PABSS Approach

The Ticket to Work program offered disabled and blind social security beneficiaries the promise of greater choice when selecting a vocational rehabilitation provider. With the issuance of Transmittal #17, much of the opportunity to choose a provider was removed. The Protection and Advocacy agency in Indiana took steps to protect the rights of disabled and blind beneficiaries to choose providers in the face of this significant policy change. Learn what was done to protect the rights and ability of beneficiaries to seek and choose vocational rehabilitation providers.

The Benefits Planner: New York Implements Medicaid Buy-In Program - Program Allows Individuals With Disabilities to Work and Keep Medicaid

This newsletter will provide valuable information on how work for persons with disabilities effects government benefits, with an emphasis on the Supplemental Security Income (SSI) and Social Security Disability Insurance (SSDI) work incentives. Each newsletter will contribute to an ongoing dialogue on topics related to benefits and work.

Changes in the size structure of the yellowfin tuna population of the tropical eastern Pacific Ocean from 1947 to 1955

ENGLISH: Morphometric studies by Godsil (1948), Godsil and Greenhood (1951), Royce (1953) and Schaefer (1952, 1955) have indicated that the yellowfin tuna of the Eastern Pacific are distinct from those of the Central Pacific. Tagging of yellowfin tuna by the California Department of Fish and Game, and by the Inter-American Tropical Tuna Commission in the Eastern Pacific, and by the Pacific Oceanic Fishery Investigations in the Central Pacific, have not yet revealed any migrations between these areas. Shimada and Schaefer (1956) have compared changes in population abundance and fishing intensity, considering the population in the Eastern Pacific as a separate entity. They conclude " ... the amount of fishing has had a real effect upon the stock of Eastern Pacific yellowfin tuna, taken in the aggregate, over the period studied. The evidence suggests also that for this species the intensity of fishing in some recent years has reached and might have even exceeded the level corresponding to the maximum equilibrium yield." Tagging experiments by the California Department of Fish and Game and by the Inter-American Tropical Tuna Commission have yielded returns in the order of one to five percent (Roedel 1954, and unpublished data of both agencies), a level much lower than that at which fishing intensity would be expected to noticeably affect the population size. These results are probably a reflection of the inadequacies of the present tagging methods, but they could lend doubt to the conclusions of Shimada and Schaefer. It is desirable, therefore, to examine other, independent, evidence as to the effects of fishing on the population. At the high levels of fishing intensity suggested by Shimada and Schaefer, in addition to changes in quantity, measurable changes would be expected to have occurred in the quality of the yellowfin tuna stocks, because the average age and size of the fish would have been reduced by the high mortality rates accompanying high fishing intensities. A continuing regular program of sampling catches and determining their length composition, to assess changes in the size composition of the stocks, was initiated by the Commission in 1954 but direct measurements are not available for the earlier, more dynamic period of growth of the fishery. Consequently, other, more general indications of possible changes in the size composition were sought. SPANISH: Los estudios morfométricos efectudos por Godsil (1948), Godsil y Greenhood (1951), Royce (1953) y Schaefer (1952, 1955), han demostrado que el atún aleta amarilla del Pacífico Oriental es distinto del que habita el PacÍfico Central. Los experimentos del Departamento de Pesca y Caza de California y de la Comisión Interamericana del Atún Tropical en el Pacífico Oriental, así como los de las Investigaciones Pesqueras del Océano Pacífico en el Pacífico Central,consistentes en la marcación de atunes aleta amarilla, aún no han puesto de manifiesto movimientos migratorios entre dichas áreas. Shimada y Schaefer (1956) han hecho estudios comparativos sobre la abundancia de la población y la intensidad de la pesca, considerando a la población del Pacífico Oriental como una entidad separada. Su conclusión es que " ... la intensidad de la pesca ha tenido un definido efecto sobre la población del atún aleta amarilla del Pacífico Oriental, tomada en conjunto, a lo largo del período estudiado. La evidencia de que se dispone sugiere así mismo que, por lo que hace a esta especie, la intensidad de la pesca en los últimos años ha alcanzado y quizás aún sobrepasado el nivel correspondiente a la máxima pesca de equilibrio". Los experimentos de mar•cación del Departamento de Pesca y Caza de California y de la Comisión Interamericana del Atún Tropical han producido recuperaciones ,entre el uno y el cinco por ciento (Roedel 1954 y datos inéditos de ambos organismos), lo que constituye un nivel mucho más bajo de aquél en que la intensidad de la pesca podría considerarse que afectaría notablemente el tamaño de la población. Estos resultados reflejan probablemente lo inadecuados que son aún los métodos de marcación, pero ellos podrían, quizá, poner en tela de juicio las conclusiones de Shimada y Schaefer. Por lo tanto,es deseable examinar otras fuentes de evidencia independientes, relacionadas con el efecto que la pesca tiene sobre la población. En efecto, si los altos índices de pesca sugeridos por Shimada y Schaefer son correctos, es de esperar que, además de los cambios en la magnitud de la población, se hayan producido otros, concomitantes y sensibles, en la calidad de los stocks de atún aleta amarilla, puesto que tanto el promedio de edad como el de tamaño de los individuos habrían disminuído debido a las elevadas tasas de mortalidad inherentes a las altas intensidades de pesca. En 1954 la Comisión inició un programa ininterrumpido para tomar muestras y determinar en ellas las frecuencias de tallas y evaluar de este modo los cambios correlativos que tuvieran lugar en los stocks pero, infortunadamente, este sistema de evaluación directa no fué practicado en el período anterior, que fué precisamente el de rápida expansión de la pesquería. En tal virtud, hubo de ser necesario buscar indicios más generales referentes a los cambios posibles en la composición de tamaños. (PDF contains 20 pages.)

Construção do pensamento autoritário anticomunista no Exército brasileiro nas páginas da revista Nação Armada (1939-1947)

Através da análise da revista Nação Armada, publicação de caráter civil-militar dedicada a Segurança Nacional, publicada pelo Exército brasileiro entre 1939 e 1947, o presente trabalho tem como objetivo compreender o processo de construção de um pensamento autoritário e anticomunista no Exército brasileiro neste período, e medir a contribuição do periódico Nação Armada neste processo. Utilizando a Nação Armada como fio condutor, procuramos remontar as formas de pensamento dos homens da época, tendo o mesmo cuidado em analisar conceitos como o de autoritarismo. Metodologicamente, adotamos primeiramente uma abordagem hermenêutica, quando todos os dados relacionados à publicação da Nação Armada (editores, tiragem, formato, autores, artigos, etc.), foram exaustivamente levantados e organizados, e em seguida passamos a uma abordagem heurística, quando passamos à crítica interna do conteúdo da Nação Armada, analisando os conceitos e discursos mais recorrentes. Contextualizamos nossa circunscrição temporal e temática à Era Vargas, e ao momento internacional. Trouxemos à discussão fatos históricos pontuais e locais, cronologicamente anteriores à publicação de Nação Armada, como a Intentona Comunista de 1935, bem como processos mais abrangentes e internacionais como a crise do sistema político liberal, a Segunda Guerra Mundial e o comunismo. Autores como Azevedo Amaral, Francisco Campos e Oliveira Vianna nos forneceram um arcabouço primordial para o entendimento de uma ideologia autoritária no Brasil na primeira metade do século XX. Dentre as várias ramificações que o presente trabalho apresentou, em virtude de período tão rico e transformador da história nacional e mundial, adotamos uma hipótese principal, que vai ao sentido de um processo contínuo de elaboração de ideário anticomunista e autoritário no Exército brasileiro através de construções simbólicas, e de tradições inventadas.

Resilient livelihoods and food security in coastal aquatic agricultural systems: Investing in transformational change

Aquatic agricultural systems (AAS) are diverse production and livelihood systems where families cultivate a range of crops, raise livestock, farm or catch fish, gather fruits and other tree crops, and harness natural resources such as timber, reeds, and wildlife. Aquatic agricultural systems occur along freshwater floodplains, coastal deltas, and inshore marine waters, and are characterized by dependence on seasonal changes in productivity, driven by seasonal variation in rainfall, river flow, and/or coastal and marine processes. Despite this natural productivity, the farming, fishing, and herding communities who live in these systems are among the poorest and most vulnerable in their countries and regions. This report provides an overview of the scale and scope of development challenges in coastal aquatic agricultural systems, their significance for poor and vulnerable communities, and the opportunities for partnership and investment that support efforts of these communities to secure resilient livelihoods in the face of multiple risks.

Food and nutrition security in Solomon Islands

This report is a literature review on Food and Nutrition Security in Solomon Islands, based on data from surveys conducted by Solomon Islands National Statistical Office, as well as from national and international organizations working in Solomon Islands. The purpose of the report is to present information outlining the current food and nutrition situation in Solomon Islands before implementation of the CGIAR Research Program on Aquatic Agricultural Systems (AAS), led by WorldFish. The aim of the AAS program is to enhance production in natural freshwater and/or coastal ecosystems to improve household livelihood, including income and food security. This report summarizes national statistics and also focuses in more detail on a subset of provinces: Guadalcanal, Malaita and Western. In 2012, the AAS program was rolled out in Guadalcanal, Central and Malaita Provinces, designated the Central Hub. In 2013, roll out is beginning in the Western Hub (Western and Isabel Provinces). The priority province for the Central Hub has been identified as Malaita.

Solomon Islands Aquatic Agricultural Systems Program design document

WorldFish is leading the CGIAR Research Program on Aquatic Agricultural Systems together with two other CGIAR Centers; the International Water Management Institute (IWMI) and Bioversity. In 2012 and 2013 the AAS Program rolled out in Solomon Islands, Zambia, Bangladesh, Cambodia and the Philippines. Aquatic Agricultural Systems are places where farming and fishing in freshwater and/or coastal ecosystems contribute significantly to household income and food security. The program goal is to improve the well-being of AAS-dependent people. A hub is a geographic location that provides a focus for learning, innovation and impact through participatory action research. In Solomon Islands AAS works in Malaita Hub (Malaita Province) and Western Hub (Western Province). In each hub we identify a ‘Development Challenge’ that the Program will address to give us focus and motivation.

Production and conservation of nutrient-rich small fish (SIS) in ponds and wetlands for nutrition security and livelihoods in South Asia: Proceedings of a World Bank/SAFANSI funded regional workshop on small fish and nutrition, Dhaka, Bangladesh, 1st - 2nd March 2014

Small indigenous fish species (SIS) are an important source of essential macro- and micronutrients that can play an important role in the elimination of malnutrition and micronutrient deficiencies in the populations of many South and Southeast Asian countries. Of the 260 freshwater fish species in Bangladesh, more than 140 are classified as SIS and are an integral part of the rural Bangladeshi diet. As many SIS are eaten whole, with organs and bones, they contain high amounts of vitamins and minerals, including calcium, and iron and zinc. Some SIS, such as mola, are also rich in vitamin A. SIS are often cooked with vegetables and a little oil, so they contribute to the food diversity of the rural poor.SIS are recognized as a major animal-source food group, contributing to improved food and nutrition security and livelihoods of the people of South and Southeast Asia. The purpose of this workshop is to bring together policy makers, extension agents, researchers, non-governmental and development organizations to share knowledge about small fish, their contribution to better nutrition, production technologies, and strategies for wider dissemination of pond culture and wetland based-production and conservation technologies. The workshop is expected to generate ideas for further research and development of sustainable technologies for production, management and conservation of SIS for the benefit of the people of Bangladesh as well as the South and Southeast Asian region.

Promising practices in food security and nutrition assistance to vulnerable households in the Tonle Sap Region, Cambodia

The CGIAR Research Program on Aquatic Agricultural Systems (AAS) seeks to reduce poverty and improve food security for many small-scale fishers and farmers who are dependent on aquatic agriculture systems by partnering with local, national and international partners to achieve large-scale development impact. This study on promising practices in food security and nutrition assistance to vulnerable households in the Tonle Sap region forms part of the preliminary research that informs AAS work in the highly productive Mekong Delta and Tonle Sap Lake floodplain. The study aims to identify and learn from promising practices that have had a positive impact on the food security and nutrition of vulnerable households in the Tonle Sap region.

The potential of community fish refuges (CFRs) in rice field agro-ecosystems for improving food and nutrition security in the Tonle Sap region

The fisheries sector in Cambodia contributes 8%–12% to national GDP and 25% - 30% to agricultural GDP, with an estimated 4.5 million people involved in fishing and associated trades. Fish and other aquatic animals are important food sources, contributing an estimated national average of 60% - 70% of total animal protein intake. Of the 2013 total fish production, 550,000 metric tons were harvested from freshwater habitats, of which rice field fisheries and small-scale family fisheries contributed approximately 20%. The productivity and value of rice field fisheries to households in rural Cambodia has been highlighted in a number of previous studies. The Fisheries Administration of the Ministry of Agriculture, Forestry and Fisheries plans to increase productivity from rice field fisheries and aquaculture at an annual rate of 15% to maintain supply for a growing population. This report draws mainly on the baseline and monitoring data from the Rice Field Fisheries Enhancement Project (RFFEP) during its implementation between 2012 and 2014. Reference is also made to the Fish on Farms project to highlight the relative contribution of fish from small-scale aquaculture compared to wild-caught fish.

A Survey of Security in Software Defined Networks

The proposition of increased innovation in network applications and reduced cost for network operators has won over the networking world to the vision of Software-Defined Networking (SDN). With the excitement of holistic visibility across the network and the ability to program network devices, developers have rushed to present a range of new SDN-compliant hardware, software and services. However, amidst this frenzy of activity, one key element has only recently entered the debate: Network Security. In this article, security in SDN is surveyed presenting both the research community and industry advances in this area. The challenges to securing the network from the persistent attacker are discussed and the holistic approach to the security architecture that is required for SDN is described. Future research directions that will be key to providing network security in SDN are identified.

Percursos da física e da energia nucleares na capital portuguesa : ciência, poder e política, 1947-1973

Tese de doutoramento, História e Filosofia das Ciências, Universidade de Lisboa, Faculdade de Ciências, 2014