Preventing Attacks on Machine Readable Travel Documents (MRTDs)

After the terror attacks of 9/11, the U.S. Congress passed legislation that requires in the US Visa Waiver Program to begin issuing issuing machine readable passports that are tamper resistant and incorporate biometric and document authentication identifiers. The International Civil Aviation Organization (ICAO) has issued specifications for Machine Readable Travel Documents (MRTD) that are equipped with a smart card processor to perform biometric identification of the holder. Some countries, such as the United States, will issue machine readable passports that serve only as passports. Other countries, such as the United Kingdom, intend to issue more sophisticated, multi-application passports that can also serve as national identity cards. We have conducted a detailed security analysis of these specificationsm, and we illustrate possible scenarios that could cause a compromise in the security and privacy of holders of such travel documents. Finally, we suggest improved cryptographic protocols and high-assurance smart card operating systems to prevent these compromises and to support electronic visas as well as passports

Liturgical traditions for Palm Sunday and their dissemination in Old English prose

This thesis examinesthe dissemination of liturgical traditions for Palm Sundayin seven Old l!hglish homilies: Blickling HomilyVI and its variant, Blickling HomilyVIa; &l.fric's In DominicaPalmarum from the First Series of the Catholic Homilies, his SecondSeries, De Passione Domini,and its variant found in MS.Cotton Tiberius A. iii; together with two anonymousPassion Story homilies, Dominicain Ramis Palmarumand De Passione Domini. These homilies form a group on the basis of their connections to PalmSunday, and include examplesof anonymoushomilies (both before and after the Benedictine Reform)as well as homilies by Jafric. The intention is to provide contexts for these homilies based on their contents and sources, together with their relationship with the li turgical traditions for the day. To this end, Chapter I examines the evidence for liturgical traditions associated with Palm Sun~ in the early Medievalperiod, and identifies the liturgical pericopes. Idturgical lections are comparedwith the lections used by latin patristic writers to establish any divergence betweenthe two traditions. Concentration on the pericope helps to define a probable area of patristic material that Old English homiletic writers were likely to consult. EVidencefor the use of liturgical traditions for PalmSundayby Old English homilists is also examined. Detailed consideration of each Old English PalmSundayhomily is provided in Chapter II. Themanuscript history of the homily is briefly discussed and is followed by an examination of its pericopes, contents and sources. Chapter II, therefore, seeks to recover homiletic traditions for Palm Sunday, and examines the differences in approach taken by the various writers. !lnphasis on the contents of these homilies provides insights into the nature of their composition, and some general remarks about the form of Old English homilies concludes the chapter. Chapter III presents editions of those Old English homilies for Palm Sunday as yet unpublished: Blickling Homily VIa, Dominica in Ramis Palmarumand De Passione Domini. Since I amconcerned primarily with the contents ot these homilies, they are edited conservatively with the minimumof textual apparatus. Textual notes, where supplied, are also concerned with the contents rather than the language of the texts. The final Chapter, Chapter IV, examines Palm Sunday homilies in relation to the liturgical traditions (services and vernacular homilies) for the rest of Holy Week. The Chapter examines in detail the so-called 'silent days', and compares homilies written by .nfric for Easter ~ with those found in the anonymoustradition. Differences between these homilies sets in relief the Palm Sunday group, and two traditions of Old English homiletic composition - alfrician and anonymous - are clearly delineated. Two Appendices are also supplied; the first presents an edition and commentary of one Old English anonymous homily for Easter ~t and the second traces the dissemination of one particular theme (the so-called Sunday List) in early Medieval literature

2016 Mickey Leland Center Archives at Texas Southern University Finding Aid Addendum

2016 Mickey Leland Center Archives at Texas Southern University Finding Aid Addendu

The Mickey Leland Papers & Collection Addendum

The materials document Mickey’s Leland’s visionary leadership and advocacy in shaping domestic and international human rights policy initiatives. The records also provide a unique political perspective on the history and culture of Houston, and cover a variety of topics: health care rights for the poor, prison reform, police harassment and brutality, racial discrimination, affirmative action, budget discrimination in higher education, labor legislation, infant mortality, minority rights in business, health education, parks and recreation for the indigent, apartheid and racial discrimination issues worldwide, third world development, emergency shelters for the homeless, nutrients for the malnourished and food security for victims of hunger. From 2012-2014 staff completed remedial preservation work on 75% of the collection and restored access to the detailed inventory by entering data from the file folder labels, to reconstruct the shelf list in an Excel Spreadsheet and transferring the data to Digital Commons. With support from the Institute of Museum and Library Services, and Texas Treasures, over 4,000 items have been preserved in digital formats and the complete collection inventory restored with physical locations of videos, photographs and documents now available at http://digitalscholarship.tsu.edu/mla email: [email protected] . Researchers should review The Mickey Leland Papers & Collection Guide prior to searching the Inventory/Shelf List

Federal Register

Daily publication of the U.S. Office of the Federal Register contains rules and regulations, proposed legislation and rule changes, and other notices, including "Presidential proclamations and Executive Orders, Federal agency documents having general applicability and legal effect, documents required to be published by act of Congress, and other Federal agency documents of public interest" (p. ii). Table of Contents starts on page iii

Proceedings / 6th International Symposium of Industrial Engineering - SIE 2015, 24th-25th September, 2015, Belgrade

editors Vesna Spasojević-Brkić, Mirjana Misita, Dragan D. Milanovi

Proceedings / 6th International Symposium of Industrial Engineering - SIE 2015, 24th-25th September, 2015, Belgrade

editors Vesna Spasojević-Brkić, Mirjana Misita, Dragan D. Milanovi

Formal Analysis of CWA 14890-1

Part 7: Java Card SecurityInternational audienceFormal analysis is of importance in order to increase confidence that the protocol satisfies its security requirements. In particular, the results obtained from the formal analysis of the smart card security protocols when smart cards are used as a specific type of Secure Signature Creation Devices (SSCDs) are presented. SSCDs are developed to support the EU-directive on electronic signatures. In this paper, we focus on security properties, called the authentication and secrecy. The device authentication protocols mentioned in CWA 14890-1 are modeled using the high-level protocol specification language HLPSL and verified with the help of AVISPA tool. Our formal analysis does not reveal any weaknesses of the CWA 14890-1 protocol suite