Thesis (M. Phil.)--University of Hong Kong, 2007. / Title proper from title frame. Also available in printed format.

Thesis (Ph. D.)--Florida State University, 2003. / Advisor: Dr. David Kirby, Florida State University, College of Arts and Sciences, Dept. of English. Title and description from dissertation home page (viewed Oct. 6, 2003). Includes bibliographical references.

Thesis (M. Phil.)--University of Hong Kong, 2007. / Also available online.

One way to build large-scale autonomous systems is to develop an open multi-agent system using peer-to-peer architectures in which agents are not pre-engineered to work together and in which agents themselves determine the social norms that govern collective behaviour. The social norms and the agent interaction models can be described by Electronic Institutions such as those expressed in the Lightweight Coordination Calculus (LCC), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent community and are expected to have many applications in the near future as large scale distributed systems become more widespread, e.g. in emergency response, electronic commerce and cloud computing. A major practical limitation to such systems is security, because the very openness of such systems opens the doors to adversaries for exploit existing vulnerabilities. This thesis addresses the security of open multi-agent systems governed by electronic institutions. First, the main forms of attack on open multi-agent systems are introduced and classified in the proposed attack taxonomy. Then, various security techniques from the literature are surveyed and analysed. These techniques are categorised as either prevention or detection approaches. Appropriate countermeasures to each class of attack are also suggested. A fundamental limitation of conventional security mechanisms (e.g. access control and encryption) is the inability to prevent information from being propagated. Focusing on information leakage in choreography systems using LCC, we then suggest two frameworks to detect insecure information flows: conceptual modeling of interaction models and language-based information flow analysis. A novel security-typed LCC language is proposed to address the latter approach. Both static (design-time) and dynamic (run-time) security type checking are employed to guarantee no information leakage can occur in annotated LCC interaction models. The proposed security type system is then formally evaluated by proving its properties. A limitation of both conceptual modeling and language-based frameworks is difficulty of formalising realistic policies using annotations. Finally, the proposed security-typed LCC is applied to a cloud computing configuration case study, in which virtual machine migration is managed. The secrecy of LCC interaction models for virtual machine management is analysed and information leaks are discussed.

No description available.

Submitted by SBI Biblioteca Digital (sbi.bibliotecadigital@puc-campinas.edu.br) on 2016-05-10T12:47:26Z No. of bitstreams: 1 Celly dos Santos Costa.pdf: 1435273 bytes, checksum: afd01c4927c5bfed762b3534fab3ff90 (MD5) / Made available in DSpace on 2016-05-10T12:47:26Z (GMT). No. of bitstreams: 1 Celly dos Santos Costa.pdf: 1435273 bytes, checksum: afd01c4927c5bfed762b3534fab3ff90 (MD5) Previous issue date: 2016-02-24 / The present paper, linked to the Teacher Training and Pedagogical Practices line of research, aims at investigating how the offer of continuing education courses, the municipal Campinas, involving early childhood education professionals, includes the development of symbolic processes in children. Therefore, the specific objectives here are to: (I) comprehensively understand early childhood education in the context of the city; (II) apprehend the concepts of training vs. symbolic processes vs. child, present in the statements of documents on continuing education at the municipal level; (III) learn how continuing education courses for early childhood education are organized and offered; (IV) identify the topics developed in continuing education courses; (V) identify interests, selection criteria for the courses offered, expectations, and needs related by some early childhood professionals in their formative process. This is a qualitative research study involving an analysis of specific official documents on continuing education in Campinas and consideration of the guidelines for primary education in early childhood offered by the municipality, as well as an examination of continuing education courses offered between 2010 and 2014 through SME deliberations as published in the official journal of the city. The research also included fieldwork through semi-structured interviews with a group of early childhood education professionals (educational director, pedagogical advisor, early education teachers and other professionals, and one coordinator of the Department of Technical Pedagogy) involved in training in the city of Campinas. Based on the collected data, analytical categories were surveyed in order to learn which topics are covered in training courses and how these topics are associated with symbolic processes; the topics are relevant and to some extent meet the demands of early childhood education professionals. The interviewed professionals consider the continuing education programs offered by RMEC of the utmost importance, but they also point to interesting aspects to be rearranged. We expect to contribute with elements to provide an organic view of the work developed for early childhood education and for training the professionals involved in this context; we also offer a reflection on continuing education as part of early childhood education, identifying aspects that have been receiving more investment so as to establish a correlation with child development. / O presente trabalho, vinculado ? linha de pesquisa Forma??o de Professor e Pr?ticas Pedag?gicas, teve como objetivo investigar como o oferecimento dos cursos de forma??o continuada, da rede municipal de Campinas, envolvendo os profissionais de educa??o infantil, contempla o desenvolvimento dos processos simb?licos na crian?a. Diante disso, os objetivos espec?ficos s?o: (I) compreender a educa??o infantil no contexto municipal; (II) entender as concep??es de forma??o, processos simb?licos e crian?a, presentes nos discursos dos documentos sobre forma??o continuada em ?mbito municipal; (III) conhecer a forma de organiza??o e oferecimento dos cursos de forma??o continuada para a educa??o Infantil; (IV) identificar as tem?ticas exploradas nos cursos de forma??o continuada; (V) identificar os interesses, crit?rios de escolha dos cursos oferecidos, expectativas e necessidades, explicitadas por alguns profissionais da educa??o infantil em seu processo formativo. Trata-se de uma pesquisa de abordagem qualitativa envolvendo: a an?lise de documentos oficiais espec?ficos sobre a forma??o continuada em Campinas e as diretrizes da educa??o b?sica para a educa??o infantil oferecida pelo munic?pio, al?m da an?lise dos cursos de forma??o continuada ofertados entre os anos de 2010 a 2014 por meio das resolu??es da SME, nos di?rios oficiais de Campinas. A pesquisa tamb?m envolveu o trabalho de campo, com a utiliza??o de entrevistas semiestruturadas, com um grupo de profissionais da educa??o infantil (diretor educacional, orientador pedag?gico, professores e agentes de educa??o infantil e um dos coordenadores do Departamento T?cnico Pedag?gico) envolvidos com a forma??o no munic?pio de Campinas. A partir dos dados encontrados, foram levantadas as categorias de an?lise para chegarmos aos temas presentes nos cursos de forma??o e a associa??o deles com os processos simb?licos; os temas s?o pertinentes e, de certa forma, atendem ? demanda dos profissionais de educa??o infantil. Os profissionais entrevistados consideram a forma??o continuada oferecida pela RMEC de extrema import?ncia, mas explicitam aspectos interessantes para serem reorganizados. Esperamos contribuir com elementos para uma vis?o org?nica do trabalho desenvolvido em rela??o ? educa??o infantil e ? forma??o dos profissionais nela inseridos, bem como possibilitar um olhar reflexivo sobre a forma??o continuada no ?mbito da educa??o infantil, identificando os aspectos que v?m recebendo maiores investimentos, a fim de estabelecer uma rela??o com o desenvolvimento da crian?a.

Teknik är nära sammanflätad med människan och internet med sin kraftfulla infrastruktur påverkar oss dagligen. Trots detta reflekterar vi sällan över det och beskriver systemet vagt och med grova förenklingar. Dagens elever ser delar av sin omvärld och kommunicerar med omgivningen via internet och behöver idag kunna hantera det som ett verktyg i undervisningen. Gymnasiekursen Teknik 1 ska enligt Skolverkets styrdokument lära ut hur internet utvecklats i samspel med samhället både ur ett tekniskt och etiskt perspektiv. Eleverna ska utifrån undervisningen kunna använda internet för informationsinhämtning och till exempel förstå vad som styr uppfattningar om kvinnligt och manligt inom systemet internet. Utbildningsvetenskaplig forskning konstaterar att både lärare och elever har svårigheter i undervisningen av komplicerade tekniska system såsom internet. Många elever visar på svårigheter att förstå de abstrakta delarna kring internet vilka är viktiga att förhålla sig till eftersom dessa påverkar oss omedvetet. De har till exempel svårt att se vilka aktörer och tjänster som finns bakom det gränssnitt som de möter i sin mobil. Tekniklärare uttrycker en osäkerhet och behöver fördjupa sina kunskaper om internet. De har en tendens att undvika det abstrakta till fördel för förenklade beskrivningar. Läromedel behöver hjälpa till att förklara dessa delar och skapa ett professionellt begreppsspråk. I detta examensarbete analyseras läromedel för gymnasiekursen Teknik 1 för att undersöka hur det tekniska systemet internet gestaltas, samt hur väl detta stämmer överens med Skolverkets styrdokument. Med hjälp av Claes Klasanders modell för tekniska system kan läromedlen kategoriseras och graderas för att få en uppfattning om hur kunskaper kring internet lärs ut. I analysen har även tydligt förekommande sätt att undervisa formats till det som valts att kallas följemeningstema. Dessa teman som grundar sig på Claes Klasanders modell (2010) beskrivervad undervisningen fokuserar på, vad målet med undervisningen är samt på vilket sätt man talar om ämnet i undervisningen. Tre olika läromedel jämförs sinsemellan, samt även med kursplanenför Teknik 1. Analysen visar att läromedlen på olika sätt svarar mot de utmaningar som nämns i teknikdidaktisk forskning och krav från Skolverket. Libers läromedel Teknik 1 från 2021 har tyngdpunkten av sin beskrivning av internet i det tema som i analysen benämns som medborgaren, tekniken och miljön (se kap. 6.3.2). Temats idé om att utbilda medvetna medborgare med god kunskap om tekniken och dess roll i samhället, stämmer till stor del med kursplanen för Teknik 1 och tillfredsställer behovet från skolan att förklara de osynliga delarna av det tekniska systemet internet. Libers äldre läromedel Teknik från 2011 och Gleerups Teknik 1 från 2022 är relativt lika och beskriver båda internet genom det tema som här kallas de tekniska systemens historia. Här saknas delar av kraven från kursplanen för Teknik 1, framförallt kring internets samverkan med samhället och naturen och systemets mer abstrakta delar. Istället ligger tyngdpunkten på den konkreta tekniska utvecklingen och vidareutveckling av systemen genom historien. / Technology and mankind are closely intertwined and the internet, with its powerful infrastructure, affects us on a daily basis. Still most of us fail to give a clear description on how it works or does it in a simplified manner. Today students view their world and communicate with their surroundings much through the internet and they need to master it as a tool for their learning. The course Teknik 1, given to Swedish tenth grade students, has a responsibility in educating about the development of the internet and its influence on our society, both from a technological standpoint as well as from an ethical point of view. Students should be taught to gather information in an educated way using the internet and for example learn to understand why there exist ideas on the internet about gender and technology. Technology didactics researchers have shown that teachers as well as students are having difficulties within the education of such complex technological systems as the internet. Students are struggling to understand the more abstract parts of the internet, which is vital, since the influence from such parts is acting subconsciously. Technology teachers feel somewhat uncertain about these complex technology systems and tend to avoid the abstract parts of the system infavor of simpler parts more easily explained. Textbooks need to help explain this complexity, so that the ”invisible” parts, such as flow of information, anonymous actors and power control, become visible. Within this master thesis a textbook analysis is carried out on course literature for Teknik 1. It investigates in which way the internet is portrayed and to what extent it aligns to the curriculum from Skolverket. With help of a theoretical model developed by Dr. Claes Klasander (2010) the textbook material has been categorized and graded to be able to measure how they educate on the subject of the internet. The analysis has also identified various themes within the education on the subject. They are based on Klasander’s companion meaning and called companion meaning theme as they describe what the education is focused on, what its goals are and with what language the subject internet is described. Three textbooks were compared with each other and against the course curriculum given by the Swedish School authority. The analysis shows that the textbooks take on the challenge of describing the internet in various ways. Liber’s textbook Teknik 1 from 2021 draws its portrait of the internet using the theme that has been named the citizen, technology and the environment (see chapter 6.3.2). Its idea is to educate conscious citizens with good knowledge in technology and its part in society corresponds a lot to the course curriculum for Teknik 1 and answers well to the schools need of explaining the invisible parts of the internet. Liber’s older textbook version Teknik from 2011 and Gleerups’ Teknik 1 from 2022 are quite similar as they both use the theme named the history of technology systems to describe and educate on the subject. This theme misses out on parts of the course curriculum, mostly regarding the internet's interaction with our society and the surrounding nature, as well as its more abstract parts. Instead focus is on the technical aspects of the development of the internet today and throughout history.