Global ETD Search

31	Computational soundness of formal reasoning about indistinguishability and non-malleability of cryptographic expressions Hajiabadi, Mohammad 24 August 2011 (has links) Analysis and verification of security protocols are typically carried out in two different models of cryptography: formal cryptography and computational cryptography. Formal cryptography, originally inspired by the work of Dolev and Yao [14], takes an abstract and idealized view of security, and develops its proof techniques based on methods and ideas from logic and theory of programming languages. It makes strong assumptions about cryptographic operations by treating them as perfectly-secure symbolic operations. Computational cryptography, on the other hand, has developed its foundations based on complexity theory. Messages are viewed as bit-strings, and cryptographic operations are treated as actual transformations on bit-strings with certain asymptotic properties.In this thesis, we explore the relation between the Dolev-Yao model and the computational model of public-key cryptography in two contexts: indistinguishability and non-malleability of expressions. This problem in the absence of key-cycles is partially addressed in [20, 21] by Herzog. We adapt our approach to use the co-inductive definition of symbolic security, whose private-key treatment was considered in coinduction, and establish our main results as follow: Using a co-inductive approach, we extend the indistinguishability and non-malleability results of Herzog in the presence of key-cycles. By providing a counter-example, we show that the indistinguishability property in this setting is strictly stronger than the non-malleability property, which gives a negative answer to Herzog's conjecture that they are equivalent. we prove that despite the fact that IND-CCA2 security provides non-malleability in our setting, the same result does not hold for IND-CCA1 security. We prove that, under certain hypothesis, our co-inductive formal indistinguishability is computationally-complete in the absence of key-cycles and with respect to any \emph{length-revealing} encryption scheme. In the presence of key-cycles, we prove that the completeness does not hold even with respect to IND-CPA security. / Graduate Computational Soundness Dolev-Yao Non-Malleability Indistinguishability of Expressions
32	排瑤"歌堂儀式"音聲研究. / Study of the soundscape of Paiyao ethnic nationality's "getang ritual" in Guangdong Province / 排瑤歌堂儀式音聲研究 / CUHK electronic theses & dissertations collection / Pai Yao "ge tang yi shi" yin sheng yan jiu. / Pai Yao ge tang yi shi yin sheng yan jiu January 2008 (has links) Firstly, while the Yao people inhabit in wide geographic regions stretching across Southern China and South East Asia, even overseas, the Paiyao, a branch of the Yao who inhabits only in the Liannan district of the Guangdong province, is unique not only in their geographical inhabitancy but also cultural characteristics. / Secondly, while Yao people's Getang ritual is a wide spread ritual practice with local variations, there has not been any in-depth study on the Getang ritual of the Paiyao people. / The significance of this study are Three-fold. / The thesis aims to study the soundscape of Paiyao ethnic nationality's "Getang Ritual" in Guangdong Province. / Thirdly, with a musicological concern, this thesis approaches its subject from the perspective of "soundscape of the ritual enactment", (Tsao Penyeh 2006: 81) and aspires to reach an understanding of the wider meaning of the Getang ritual among the Paiyao people and their society. / This study consists of the following three processes: (1) Fieldwork to investigate and compile ethnographic texts from both the researcher's observation and insiders' oral narrations and relating to actions in the makings of the ritual soundscape. (2) Analysis of the ritual "sounds", in terms of themselves and their extra-musical factors. (3) Interpretation of the meaning of ritual sounds and their soundscape of Paiyao's Getang ritual within the framework of the belief system that consists of a trinity of sounds and soundscape, ritual enactment and belief. / This thesis has seven chapters, with its theoretical and methodological reverences indebted to ritual studies by Tsao Penyeh (his research of ritual and ritual soundscape of China's belief systems) and Clifford Geertz (his many writings on anthropological theory and methodology, as well as his study of "reinterpretation to other's interpretation"). / 周凱模. / Adviser: Pen-Yeh (Poon-Yee) Tsao. / Source: Dissertation Abstracts International, Volume: 69-08, Section: A, page: 2945. / Thesis (doctoral)--Chinese University of Hong Kong, 2008. / Includes bibliographical references (p. 289-317) and indexes. / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Electronic reproduction. [Ann Arbor, MI] : ProQuest Information and Learning, [200-] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstracts in Chinese and English. / School code: 1307. / Zhou Kaimo. Folk music--History and criticism Music--Religious aspects Folk music--History and criticism
33	Untold Narratives: Refugee Experiences from Laos to Richmond, California Saechao, Laiseng 01 January 2015 (has links) Untold Narratives: A Refugee Experience from Laos to Richmond, California is focused on the Mien refugee experience from Laos to Richmond, California. This thesis highlights the ways Cold War politics, the Secret War, and heavy industrialization have impacted Mien communities who have been displaced from their homelands into refugee camps, and again through sponsorship into the United States. This thesis looks at political theories that discuss inequalities that exist, particularly through environmental degradation and negative health impacts that Mien refugees are experiencing in their resettlement into Richmond, California. Due to the limited scholarly articles and documented narratives that are available in regards to Mien experiences, interviews were conducted to highlight the stories and experiences of Mien refugees paired with a historical background of their journey from China, to Laos, and to Richmond. Even in the face of so much struggle and hardship, many Mien people have been resilient and been successful in building community and fighting for justice. Mien Yao Iu-Mien Refugee Laos Richmond California Environmental Justice Health Politics Asian American Studies International Relations Political Theory
34	瑤山的学校教育: 中国广西土瑤的民族志研究. / Schooling in the Yao Mountains, an ethnographic study of the Tu Yao in Guangxi, China / 中国广西土瑤的民族志研究 / Ethnographic study of the Tu Yao in Guangxi, China / Schooling in the Yao Mountains an ethnographic study of the Tu Yao in Guangxi, China (Chinese text) / CUHK electronic theses & dissertations collection / Digital dissertation consortium / Yao Shan de xue xiao jiao yu: Zhongguo Guangxi Tu Yao de min zu zhi yan jiu. / Zhongguo Guangxi Tu Yao de min zu zhi yan jiu January 2002 (has links) 袁同凯. / 论文(哲学博士)--香港中文大学, 2002. / 参考文献 (p. 235-255). / 中英文摘要. / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Electronic reproduction. Ann Arbor, MI : ProQuest Information and Learning Company, [200-] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Mode of access: World Wide Web. / Yuan Tongkai. / Zhong Ying wen zhai yao. / Lun wen (zhe xue bo shi)--Xianggang Zhong wen da xue, 2002. / Can kao wen xian (p. 235-255). Yao (Southeast Asian people)--Education Minorities--Education Minorities--Education--Government policy Educational anthropology Yao (Southeast Asian people)--Education Minorities--Education
35	Modélisation et protection contre les pannes dans les bases de données Abdel Hay Abdel Hamid, Soheir 24 January 1979 (has links) (PDF) On s'intéresse aux procédures garantissant les récupérations de l'information contre tout type d'avarie pour aboutir à une base de donnée fiable et à l'outillage nécessaire pour l'évaluation et l'amélioration des performances du système. bases de donnée sécurité sureté SGBD contrôle protection modélisation modèles CARDENAS SILER YAO pannes intégrité
36	A comparative study of Pai Yao and Han Chinese junior secondary schooldropouts in Liannan Yao Autonomous County, Guangdong Province, ThePeople's Republic of China 藍容, Nam, Yung, Jane. January 1996 (has links) published_or_final_version / Education / Doctoral / Doctor of Philosophy Dropouts - China - Guangdong Sheng.
37	Formální analýza kryptografických protokolů / Formal analysis of cryptographic protocols Petrovský, Peter January 2015 (has links) This diploma thesis deals with cryptography. It describes its basic allocation and problems of number theory that needs to be addressed. It also deals with methods used to review the formal security of cryptographic protocols from a mathematical point of view. It analyse the tools used to automatic and semi-automatic evaluation of the safety of cryptographic protocols. It describes the process of working with these tools and finally test the security of protocols Kerberos, EKE and Unilateral authentication using symmetric cryptography, HMAC function and hash function. These tests are in tools AVISPA, ProVerif and Scyther. At the end is comparison of results.
38	Riwaya Teule za Karne ya Ishirini na Moja na Udurusu wa Nadharia za Fasihi Mwamzandi, Issa 27 March 2014 (has links) (PDF) Literary theory represents a way of thinking and a body of writing that is dedicated to the analysis of literary texts. It is a means through which literary critics come to appreciate the nature of the literary texts they seek to analyze and the methodology that informs their practice. Analyzing three 21st Century Swahili novels, this paper examines a paradigm shift: literary theory becomes the sub¬ject under examination as opposed to its conventional role where it would ideally offer systematic views of what such texts would mean. Said Ahmed Mohamed’s Dunia Yao (2006) and Nyuso za Mwanamke (2010) on the one hand, and Kyallo Wadi Wamitila’s Musaleo! (2004), on the other, represent a new kind of writing that experiments on literary theory as a subject for criticism. In these texts, we read about the tenets and practice of a variety of literary theories including Russian formalism, Saussurean and Jakobsonian structuralism, Derrida’s deconstruction, Edward Said’s post-colonial theory, and Carl Gustav Jung’s psychoanalytical theory. While this experiment that the two novelists engage in may appear elitist for the average reader at first, the paper contends that this form of writing will in the long term assist in the domestication of literary theory. Further, the three texts could greatly assist in pedagogical issues if read alongside other mandatory course books on literary theory. Literaturtheorie Said Ahmed Mohamed Nyuso za Mwanamke Kyallo Wadi Wamitila Musaleo! Dunia Yao Derrida Edward Said Carl Gustav Jung Swahili Literatur Roman Literary Theory Said Ahmed Mohamed Nyuso za Mwanamke Kyallo Wadi Wamitila Musaleo! Dunia Yao Derrida Edward Said Carl Gustav Jung Swahili Literature Novel ddc:496 Literaturtheorie Said Ahmed Mohamed Nyuso za Mwanamke Kyallo Wadi Wamitila Musaleo! Dunia Yao Derrida Edward Said Carl Gustav Jung Swahili Literatur Roman
39	Riwaya Teule za Karne ya Ishirini na Moja na Udurusu wa Nadharia za Fasihi Mwamzandi, Issa 27 March 2014 (has links) Literary theory represents a way of thinking and a body of writing that is dedicated to the analysis of literary texts. It is a means through which literary critics come to appreciate the nature of the literary texts they seek to analyze and the methodology that informs their practice. Analyzing three 21st Century Swahili novels, this paper examines a paradigm shift: literary theory becomes the sub¬ject under examination as opposed to its conventional role where it would ideally offer systematic views of what such texts would mean. Said Ahmed Mohamed’s Dunia Yao (2006) and Nyuso za Mwanamke (2010) on the one hand, and Kyallo Wadi Wamitila’s Musaleo! (2004), on the other, represent a new kind of writing that experiments on literary theory as a subject for criticism. In these texts, we read about the tenets and practice of a variety of literary theories including Russian formalism, Saussurean and Jakobsonian structuralism, Derrida’s deconstruction, Edward Said’s post-colonial theory, and Carl Gustav Jung’s psychoanalytical theory. While this experiment that the two novelists engage in may appear elitist for the average reader at first, the paper contends that this form of writing will in the long term assist in the domestication of literary theory. Further, the three texts could greatly assist in pedagogical issues if read alongside other mandatory course books on literary theory. info:eu-repo/classification/ddc/496 ddc:496
40	十九世紀中葉儒者對基督宗教之理解: 以姚瑩及魏源為中心 = Mid-19th century Confucians' understanding of Christianity : Yao Ying and Wei Yuan. / Mid-19th century Confucians' understanding of Christianity: Yao Ying and Wei Yuan / Shi jiu shi ji zhong ye ru zhe dui Jidu zong jiao zhi li jie: yi Yao Ying ji Wei Yuan wei zhong xin = Mid-19th century Confucians' understanding of Christianity : Yao Ying and Wei Yuan. January 2015 (has links) 本文旨在闡釋十九世紀中葉的儒者如何理解基督宗教。筆者以兩位中層官員（姚瑩與魏源）作為主要例子，說明儒者思想和信仰構成的世界觀對世俗世界和超越世界都有一套完整的理解，亦引伸出儒者「經世」的信念。本文認為儒者對基督宗教的理解與他們的世界觀有密不可分的關係，但由於理解的目的在於「經世」，他們亦會在一些情況下基於現實考慮或新資訊的出現而暫時放棄自身的觀感，並進而修正他們的世界觀。藉著相類案例的比較，本文嘗試說明十九世紀中葉的儒者並非單純以自身的信仰批判基督宗教，亦非純粹以帝國官員的立場以純粹的管治和外交原則應對異國的宗教。對他們而言，理解基督宗教的過程就是世界觀、新資訊與現實考慮三者互動的結果。 / This thesis attempts to explain Confucian understanding of Christianity in the mid-nineteeth century through the views of two government officials, Yau Yin and Wai Yuin, who based their beliefs on both the immanent and transcendent aspects of "Jinshi" or the philosophy of statecraft. This work asserts that the Confucian understanding of Christianity was very much tied to the officials’ perception of secular society. Further, with the increase in knowledge and information, their view of Christianity began to change. Chinese officials’ criticism of Christianity was based on a complex set of factors which included the influx of new ideas, information, government edicts, diplomatic considerations as well as their status in the imperial government. In other words, understanding of Chrisitanity in China developed and evolved with new understanding of historical realities. / Detailed summary in vernacular field only. / 孔德維. / Parallel title from English abstract. / Thesis (M.Phil.) Chinese University of Hong Kong, 2015. / Includes bibliographical references (leaves 289-341). / Abstracts in English and Chinese. / Kong Dewei. 姚瑩 , 1785-1853 魏源 , 1794-1857 Confucianism--Relations--Christianity Yao, Ying , 1785-1853 Wei, Yuan , 1794-1857

Search results