Formalising human recognition : a fundamental building block for security proofs

A fundamental part of many authentication protocols which authenticate a party to a human involves the human recognizing or otherwise processing a message received from the party. Examples include typical implementations of Verified by Visa in which a message, previously stored by the human at a bank, is sent by the bank to the human to authenticate the bank to the human; or the expectation that humans will recognize or verify an extended validation certificate in a HTTPS context. This paper presents general definitions and building blocks for the modelling and analysis of human recognition in authentication protocols, allowing the creation of proofs for protocols which include humans. We cover both generalized trawling and human-specific targeted attacks. As examples of the range of uses of our construction, we use the model presented in this paper to prove the security of a mutual authentication login protocol and a human-assisted device pairing protocol.

Formal analysis of card-based payment systems in mobile devices

To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment protocols: Visa 3D Secure and MasterCard Secure Code. The protocols use pre-registered passwords to provide card holder authentication and Secure Socket Layer/ Transport Layer Security (SSL/TLS) for data confidentiality over wired networks and Wireless Transport Layer Security (WTLS) between a wireless device and a Wireless Application Protocol (WAP) gateway. The paper presents our analysis of security properties in the proposed protocols using formal method tools: Casper and FDR2. We also highlight issues concerning payment security in the proposed protocols.

Tendinopathy alters cumulative transverse strain in the patellar tendon postexercise.

Introduction This research evaluated the effect of tendinopathy on the cumulative transverse strain response of the patellar tendon to a bout of resistive quadriceps exercise. Methods Nine adults with unilateral patellar tendinopathy (age 18.2±0.7 years, height 1.92±0.06 m and weight 76.8±6.8 kg) and ten healthy adults free of knee pain (age 17.8±0.8 years, height 1.83±0.05 m and weight 73.2±7.6 kg) underwent standardised sagittal sonograms (7.2–14 MHz linear–array transducer) of both patellar tendons immediately prior and following 45 repetitions of a double–leg decline–squat exercise performed against a resistance of 145% bodyweight. Tendon thickness was determined 5–mm and 25–mm distal to the patellar pole. Transverse Hencky strain was calculated as the natural log of the ratio of post– to pre–exercise tendon thickness and expressed as a percentage. Measures of tendon echogenicity were calculated within the superficial and deep aspects of each tendon site from gray–scale profiles. Intratendinous microvessels were evaluated using power Doppler ultrasound. Results The cumulative transverse strain response to exercise in symptomatic tendinopathy was significantly lower than that of asymptomatic and healthy tendon (P<.05). There was also a significant reduction (57%) in the area of microvascularity immediately following exercise (P=.05), which was positively correlated (r=0.93, P<.05) with VISA-P score. Conclusions This study is the first to show that patellar tendinopathy is associated with an altered morphological and mechanical response of the tendon to exercise, which is manifest by a reduction in cumulative transverse strain and microvascularity, when present. Research directed toward identifying factors that influence the acute microvascular and transverse strain response of the patellar tendon to exercise in the various stages of tendinopathy is warranted.

Leaving family behind: Understanding the irregular migration of unaccompanied asylum-seeking minors - A qualitative study

This qualitative study investigated the drivers and determinants of irregular maritime migration among 17 protection visa holders who arrived in Australia as unaccompanied asylum-seeking minors. Semi-structured interviews were also conducted with eight non-government service providers working with unaccompanied minors in the Greater Brisbane area.

Psychological services for asylum seekers in the community: Challenges and solutions

Objective: Given the Australian government’s current policy of placing asylum seekers into the community while their applications for asylum are being considered, it is important that mental health practitioners are able to offer culturally safe, sensitive, and competent services in this context. Method: A qualitative approach was used to interview seven practitioners, who provided services to asylum seekers at a specialist health clinic in the community. These professionals used their experience to identify the psychosocial issues faced by these asylum seekers, the challenges of providing culturally effective services to this group, and how these services can be improved. Result: Data were thematically analysed using NVivo. The findings indicated that participants perceived that clients experienced psychological, health, and cultural difficulties. The stress and uncertainty around visa applications emerged as the most severe factor impacting asylum seekers’ mental health. Working effectively with interpreters and culturally adapting assessment and treatment for these clients emerged as effective strategies. Gathering information in a conversational way and using clients’ different cultural explanatory models were methods used to identify and address mental health issues, rather than using formal measures. Interventions were eclectic and holistic, and reflected treatments that were appropriate for the clients’ cultural backgrounds. Conclusion: The study has implications for how psychological services are offered to asylum seekers in the community. Further, it identifies areas that can be incorporated in the future training of practitioners.

Kampen om Eros : Om kön och kärlek i Pahlensviten

The Struggle for Eros: On Love and Gender in the Pahlen Series The present dissertation examines how gender, sexuality and motherhood are constructed in the novel series Fröknarna von Pahlen (The Misses von Pahlen, I VII, 1930 1935) by the Swedish author Agnes von Krusenstjerna. The aim of the study is to analyze how the Pahlen series relates to the discourses on gender and sexuality circulating in the 1930s, and how the series opens a dialogue with the feminist thinking of the time especially with the book Lifslinjer I (Love and Marriage, 1903) by the Swedish author Ellen Key. Fröknarna von Pahlen holds a central position in the research on Agnes von Krusenstjerna partly due to the literary debate that the novel series triggered. The debate was connected to the development taking place in the Swedish society in the beginning of the 1930s, in the so-called second phase of the Modern Breakthrough. Sweden was at that time characterized by struggle over the definitions of gender, sexuality and parenthood, and this struggle is also visible in the Pahlen series. The literary debate took place in 1934 1935 and it began after an article by the modernist writer Karin Boye was published in Social-Demokraten on 28 January 1934. In her polemic article, Boye saw the Pahlen series as a sign that the family institution is on the verge of a breakdown and with it the whole moral system that has come to existence through it . Boye went on to state that Krusenstjerna only sees and describes and that she explores neither new literary forms nor new values. Boye wrote the article before the last two parts of the novel series were published, so obviously she could not discuss the utopian vision characterizing those parts. This study, however, strives to demonstrate that Krusenstjerna not only sees and describes, but that she like many of her contemporary female colleagues appears to take the request of Friedrich Nietzsche to revaluate all values seriously. Like the works of her contemporaries, Krusenstjerna s Pahlen series is marked by a double vision on the one hand a critique of the prevailing social order, and on the other hand a dream of a new world and a new human being. In this research the vision of the Pahlen series is characterized as queer in order to emphasize that the series not only criticizes the prevailing gender order and its morals, but is also open for new ways of doing gender, parenthood, and family.

"Det utspridda kärret; överallt och växande form" : Eva Wichmans novell "Kärret" som en prosamodernistisk berättelse om kvinnligt skapande

I min avhandling diskuterar jag om och hur man kan läsa Eva Wichmans novell "Kärret" (ur Molnet såg mig, 1942) som en prosamodernistisk berättelse om ett kvinnligt subjekt, och om kvinnligtskapande. Jag vill mot en prosamodernistisk bakgrund visa min tolkning med en stilistisk och entematisk analys. I min inledning markerar jag att forskare har haft svårt att avgöra vad Eva Wichman egentligen vill säga med "Kärret". De flesta definierar "Kärret" som en fabel, en moralisk berättelse. I min tolkning betonar jag att novellen kan läsas som en prosamodernistisk fabel om det kvinnliga skapandet. Eva Wichman har i många av sina verk beskrivit en kvinnlig konstnärs svårigheter i massamhället och den manliga världen. Jag anser därför att denna tolkning inte är långsökt då det gäller en naturallegori som "Kärret". Jag redovisar kort för bakgrunden till prosamodernismen; definierar stilistiska grundbegrepp i lyrikoch prosa samt diskuterar med hjälp av Peter Luthersson och Gunilla Domellöf hur den modernistiska individualiteten konstituerar sig i förhållande till samhället ochmoderniseringsprocessen. Jag tar fasta på den kvinnliga författarens skapandeprocess och poängterar, med hjälp av bl.a. Dominique Head och Domellöf, att det kvinnliga skapandet ofta är svårt att erhålla i ett traditionellt manligt samhälle. Head, Domellöf och Rachel Blau DuPlessis menar att det modernistiska skapandet hos kvinnor i stor grad sker med hjälp av stilistiska brott och luckor. I synnerhet förhållandet mellan metafor och metonymi utgör en viktig metod för den kvinnliga modernisten. I mitt tredje kapitel analyserar jag "Kärret" stilistiskt. Modernismen i "Kärret" går ut sammanställa motsatser och sinnesanalogier. Jag tar upp det lyriska och metaforiska i "Kärret"; upprepningar,parallellismer, rytm och dynamik, samt förhållandet mellan metaforer och metonymier utgående från en artikel av David Lodge. Jag demonstrerar i stilanalysen hur Eva Wichman bygger upp ett cykliskt mytiskt berättande. Detta cirkelberättande kan, enligt Domellöf, ses som en kvinnlig utmaning mot det traditionella manliga berättandet. Förhållandet mellan metaforer och metonymier spelar en stor roll också i min tematiska analys. Jag läser kärret i novellen som en symbol för ett kvinnlig subjekt. Kärret är uppbyggt av motsatser. Dessamotsatser kan ses som metaforer i min tolkning av kärret som kvinnligt subjekt. Motsatsparen yta/djup läser jag som den medvetna respektive undermedvetna nivån i det kvinnliga subjektet. Djupet, den undermedvetna nivån, analyserar jag delvis med hjälp av Julia Kristevas begrepp abjektet. Metaforerna spegel/öga ser jag som subjekt/objekt och manligt/kvinnligt i förhållande till det kvinnliga subjektet. Med hjälp av abjektet, omnipotens/känslighet, rörelse/statis samt liv/död visar jag hur Eva Wichman beskriver det konstnärliga skapandet, och den konstnärliga alieneringen i kontrast till det förtryckandet massamhället. Här baserar jag mig på Lutherssons resonemang om den modernistiska individualiteten. På så sätt drar jag slutsatsen att kärret som kvinnligt subjekt kan läsas som ett kvinnligt författarjag. "Kärret" är en berättelse om kvinnlig skaparkraft, om ett kvinnligt subjekt som skapar och verkar isamhället. Eva Wichman gestaltar det kvinnliga berättandet både tematiskt och språkligt. Därför är "Kärret" enligt mig inte en pessimistisk berättelse om ett "säkert nederlag" som många påstår, utan en storslagen fabel om ett modernistiskt subjekt i process. Nyckelord: Eva Wichman, Molnet såg mig, prosamodernism, kvinnligt subjekt, abjekt, metafor, metonymi

Herbert Strauss at a Zurich train station returning from the International Meeting of the World Union for Progressive Judaism in London.

Strauss completed his PhD examinations summa cum laude before leaving for the meeting, and was on his way to the American Consulate to get a visa for the United States

Rab8 and Rab8-interacting proteins as players in cell polarization

Rab8 and its interacting proteins as regulators of cell polarization During the development of a multi-cellular organism, progenitor cells have to divide and migrate appropriately as well as organize their differentiation with one another, in order to produce a viable embryo. To divide, differentiate and migrate cells have to undergo polarization, a process where internal and external components such as actin, microtubules and adhesion receptors are reorganized to produce a cell that is asymmetric, with functionally different surfaces. Also in the adult organism there is a continuous need for these processes, as cells need to migrate in response to tissue damage and to fight infection. Improper regulation of cell proliferation and migration can conversely lead to disease such as cancer. GTP-binding proteins function as molecular switches by cycling between a GTP-bound (active) conformation and a GDP-bound (inactive) conformation. The Ras super-family of small GTPases are found in all eukaryotic cells. They can be functionally divided into five subfamilies. The Ras family members mainly regulate gene expression, controlling cell proliferation and differentiation. Ras was in fact the first human oncogene to be characterized, and as much as 30% of all human tumors may be directly or indirectly caused by mutations of Ras molecules The Rho family members mainly regulate cytoskeletal reorganization. Arf proteins are known to regulate vesicle budding and Rab proteins regulate vesicular transport. Ran regulates nuclear transport as well as microtubule organization during mitosis. The focus of the thesis of Katarina Hattula, is on Rab8, a small GTPase of the Rab family. Activated Rab8 has previously been shown to induce the formation of new surface extensions, reorganizing both actin and microtubules, and to have a role in directed membrane transport to cell surfaces. However, the exact membrane route it regulates has remained elusive. In the thesis three novel interactors of Rab8 are presented. Rabin8 is a Rab8-specific GEF that localizes to vesicles where it presumably recruits and activates its target Rab8. Its expression in cells leads to remodelling of actin and the formation of polarized cell surface domains. Optineurin, known to be associated with a leading cause of blindness in humans (open-angle glaucoma), is shown to interact specifically with GTP-bound Rab8. Rab8 binds to an amino-terminal region and interestingly, the Huntingtin protein binds a carboxy-terminal region of optineurin. (Aberrant Huntingtin protein is known to be the cause Huntington s disease in humans.) Co-expression of Huntingtin and optineurin enhanced the recruitment of Huntingtin to Rab8-positive vesicular structures. Furthermore, optineurin promoted cell polarization in a similar way to Rab8. A third novel interactor of Rab8 presented in this thesis is JFC1, a member of the synaptogamin-like protein (Slp) family. JFC1 interacts with Rab8 specifically in its GTP-bound form, co-localizes with endogenous Rab8 on tubular and vesicular structures, and is probably involved in controlling Rab8 membrane dynamics. Rab8 is in this thesis work clearly shown to have a strong effect on cell shape. Blocking Rab8 activity by expression of Rab8 RNAi, or by expressing the dominant negative Rab8 (T22N) mutant leads to loss of cell polarity. Conversely, cells expressing the constitutively active Rab8 (Q67L) mutant exhibit a strongly polarized phenotype. Experiments in live cells show that Rab8 is associated with macropinosomes generated at ruffling areas of the membrane. These macropinosomes fuse with or transform into tubules that move toward the cell centre, from where they are recycled back to the leading edge to participate in protrusion formation. The biogenesis of these tubules is shown to be dependent on both actin and microtubule dynamics. The Rab8-specific membrane route studied contained several markers known to be internalized and recycled (1 integrin, transferrin, transferrin receptor, cholera toxin B subunit (CTxB), and major histocompatibility complex class I protein (MHCI)). Co-expression studies revealed that Rab8 localization overlaps with that of Rab11 and Arf6. Rab8 is furthermore clearly functionally linked to Arf6. The data presented in this thesis strongly suggests a role for Rab8 as a regulator for a recycling compartment, which is involved in providing structural and regulatory components to the leading edge to participate in protrusion formation.

Molecular pathogenesis of human parechovirus 1 infection

The Parechoviruses (HPEV) belong to the family Picornaviridae of positive-stranded RNA viruses. Although the parechovirus genome shares the general properties of other picornaviruses, the genus has several unique features when compared to other family members. We found that HPEV1 attaches to αv integrins on the cell surface and is internalized through the clathrin-mediated endocytic pathway. During he course of the infection, the Golgi was found to disintegrate and the ER membranes to swell and loose their ribosomes. The replication of HPEV1 was found to take place on small clusters of vesicles which contained the trans-Golgi marker GalT as well as the viral non-structural 2C protein. 2C was additionally found on stretches of modified ER-membranes, seemingly not involved in RNA replication. The viral non-structural 2A and 2C proteins were studied in further detail and were found to display several interesting features. The 2A protein was found to be a RNA-binding protein that preferably binds to positive sense 3 UTR RNA. It was found to bind also duplex RNA containing 3 UTR(+)-3 UTR(-), but not other dsRNA molecules studied. Mutagenesis revealed that the N-terminal basic-rich region as well as the C-terminus, are important for RNA-binding. The 2C protein on the other hand, was found to have both ATP-diphosphohydrolase and AMP kinase activities. Neither dATP nor other NTP:s were suitable substrates. Furthermore, we found that as a result of theses activities the protein is autophosphorylated. The intracellular changes brought about by the individual HPEV1 non-structural proteins were studied through the expression of fusion proteins. None of the proteins expressed were able to induce membrane changes similar to those seen during HPEV1 infection. However, the 2C protein, which could be found on the surface of lipid droplets but also on diverse intracellular membranes, was partly relocated to viral replication complexes in transfected, superinfected cells. Although Golgi to ER traffic was arrested in HPEV1-infected cells, none of the individually expressed non-structural proteins had any visible effect on the anterograde membrane traffic. Our results suggest that the HPEV1 replication strategy is different from that of many other picornaviruses. Furthermore, this study shows how relatively small differences in genome sequence result in very different intracellular pathology.

In Frankreich interniert - aus Frankreich entwichen 1933-1941

The author describes his escape from Nazi Germany to France together with his mother. He volunteered for the French army (Defense Nationale), but his application was rejected. After the outbreak of the war Schoenfeldt was interned in Antibes and Les Milles. Recollections of life in the internment camps. Lack of basic hygienic conditions. German invasion of France. Escape from the invading German army. Reunion with his mother. Fervent endeavors to leave France for Spain in order to escape another internment. Escape with his 76 year old mother via the Pyrenees. Arrival in Lisbon. Exit visa for America. In 1941 Herbert Schoenfeldt left with his mother for the United States.

Under Swastika and the French flag.

The memoirs were originally written for the Harvard University competition in 1940 and were translated by the author in 2001. Reflections on his childhood in Germany and Austria. His parents were both from Poland. They moved to Vienna in 1921, where his father opened a haberdashery store in the Second district (Leopoldstadt). Otto attended primary school in Czerningasse. Birth of his sister Cecile in 1924. After his failing business endeavors his father decided to move back to Germany, where the family opened a department store in Elbing, East Prussia. Otto attended Gymnasium, where he was one of only two Jewish students in his class. Growing Nazi movement among students. Summer vacations on the Baltic Sea. Private piano lessons. Hitler’s rise in Germany and life under National Socialism. Bar mitzvah in 1933. Anti-Jewish boycotts. His father fled to Vienna in order to escape a rounding up of Jews. The family followed soon after to Austria. Otto attended Gymnasium in the Zirkusgasse and started to work as a tutor. Member of a youth group and hiking tours in the mountains. Recollections of the Anschluss in 1938. Fervent attempts to obtain an exit visa for the United States, where they had a relative in New York. Description of discriminations and frequent attacks on Jewish friends and relatives in the weeks after the Anschluss. Otto was picked up by Nazi stormtroops. He was forced to hold up an anti-Jewish sign and was walked up and down, receiving beatings and spittings in front of a jeering crowd. Detailed account of the atmosphere within the Jewish population. The Gymnasium Zirkusgasse was transferred into a Jewish school. Frequent attacks of Hitler Youths on the students. Preparations for the “Matura” despite the turmoil. In June of 1938 his father was arrested and sent to Dachau concentration camp. After passing the final exams, Otto planned on leaving the country illegally, since he was subject to the Polish quota for the United States with

Ernest W. Michel Papers, 1698, 1938-1996 (bulk 1946-1987)

This collection contains the papers of Ernest W. Michel, Holocaust Survivor Journalist and public speaker,including clippings of newspaper articles written by and about Michel, correspondence between Michel and many important Jewish and political figures and autograph files, which Michel collected. Many of these files concern Michel’s Holocaust experiences, speaking engagements, the World Gathering of Jewish Holocaust Survivors, and Michel’s work with the United Jewish Appeal.

Visionary Portrait.

The expressionist head of a young man emerges from the dark shadows. His face is a long oval, with full lips and strongly flared nostrils, framed by black hair and small black beard.

Förutsättningarna för psykiatrisk vård oberoende av patientens vilja och patientens rättsskydd vid fattandet av vårdbeslutet

I arbetet analyseras de i mentalvårdslagen (1990/1116) stadgade förutsättningarna för psykiatrisk sjukhusvård oberoende av patientens vilja gällande myndiga patienter för vilka inte har utsetts en intressebevakare före fattandet av vårdbeslutet, samt bakgrunden till och en del av de svårigheter som förknippas med denna form av vård och härtill anknutet beslutsfattande. Problemen tillspetsas framförallt i situationer av intressekonflikt mellan patientens intressen respektive samhällets intressen. Utgångspunkten ligger främst i finländsk mentalvårdslagstiftning och rättspraxis, men för att på ett ändamålsenligt sätt kunna redogöra för bakgrunden till och förutsättningarna för dylikt förvaltningsrättsligt beslutsfattande görs även relevanta kopplingar till medicinska (psykiatriska) yrkesetiska riktlinjer och mentalvårdslagstiftning inom övriga Norden. Analysen omfattar även den Europeiska människorättsdomstolens praxis i fall som gäller frihetsberövande på basis av psykiatrisk vård, närmare bestämt artikel 5 (1)(e) i den europeiska människorättskonventionen. Patientens självbestämmanderätt, frihet och integritet är utgångspunkterna för alla slags vårdförhållanden. Dessa inbegriper bl.a. frivillighet och informerat samtycke då en person söker vård. Möjligheten att förordna en person till psykiatrisk vård oberoende av dennes vilja är ett lagstadgat undantag till dessa principer. Beslutsfattandet är bundet till strikta lagstadgade förutsättningar, vilkas bedömning kräver juridisk, men framförallt medicinsk kunskap, vilket också skapar gränser och utmaningar för de yrkespersoner som arbetar med dylika ärenden. Kombinationen av psykiatri, etik och juridik är nödvändig, men inte alltid enkel att göra, vilket märks inte minst på terminologin som tillämpas i mentalvårdslagstiftningen. I arbetet analyseras en del av den terminologi som tillämpas inom finsk och övrig nordisk mentalvårdslagstiftning. Syftet är att visa att definitionerna, tolkningarna, terminologin och synsättet på psykisk ohälsa som tillämpas inom den finländska mentalvårdslagstiftningen jämförelsevis kanske inte är de mest lämpliga eller tidsenliga. En annan svår uppgift, som framförallt lagstiftaren ställ(t)s inför, är utformningen av mentalvårdslagstiftning som är tillräckligt flexibel för att tillåta beaktande av särdragen i varje enskilt ärende, men som samtidigt är strikt nog för att förhindra godtycke och missbruk. En person som lider av allvarlig psykisk ohälsa befinner sig oftast i en ytterst utsatt position, och är ofta begränsat eller inte alls kapabel att göra en korrekt bedömning av sig själv och sin situation. Således sker den starka betoningen av patientens självbestämmanderätt på både gott och ont. Det är kanske inte alltid i en psykiatrisk patients bästa att få bestämma själv, vilket också är en av frågorna som omfattas av analysen i arbetet. Eftersom det psykiatriska vårdbeslutet till karaktären är ett (skriftligt) förvaltningsbeslut, skiljer det sig samtidigt från övrigt beslutsfattande inom vårdsektorn, vilket till största delen utgör faktisk förvaltningsverksamhet. För patienten innebär vårdbeslutet också ett administrativt frihetsberövande. Ingreppet i patientens grundläggande fri- och rättigheter är särskilt stort och upplevs ofta som mycket kränkande, och därför ställs särskilt strikta krav på iakttagande av det lagstadgade beslutsförfarandet och vårdförutsättningarna samt tillgodoseendet av patientens rättsskydd. Den offentliga hälso- och sjukvården är verksamhet som är underställd den offentliga förvaltningen, vilket innebär att de allmänna förvaltningsrättsliga rättsskyddsgarantierna är tillämpliga. I och med vårdbeslutets karaktär av förvaltningsbeslut, kan ändring i beslutet sökas genom besvär hos förvaltningsdomstolen. Dessa är också några av de frågor som behandlas i arbetet.