• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • 3
  • Tagged with
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Un modèle de validation automatique de mécanismes de sécurisation des communications

Zemmouri, Fathya January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
2

Théories de l'intrus pour la vérification des protocoles cryptographiques

Bernat, Vincent 01 June 2006 (has links) (PDF)
La conception d'un protocole cryptographique obéit à de nombreux impératifs : algorithmes à utiliser, propriétés à garantir, moyen d'identification, etc. Il apparaît donc régulièrement de nouveaux protocoles qu'il convient de vérifier. Malgré l'apparente simplicité, concevoir un protocole cryptographique est une tâche difficile et sujette à de nombreuses erreurs. Des failles pour certains protocoles ont été découvertes des années après leur conception. La plupart des travaux existants se basent uniformément sur l'intrus de Dolev Yao et ne se généralisent pas automatiquement à un intrus disposant de capacités supplémentaires ou différentes. Dans cette thèse, nous allons présenter un système de déduction prenant le pouvoir de l'intrus comme paramètre. De plus, les règles de protocole seront vues comme une capacité additionnelle pour l'intrus. Le résultat principal est un théorème de normalisation de preuve permettant de réduire l'espace de recherche des attaques.
3

Pirometamorfismo em calc?rios da forma??o Janda?ra, bacia potiguar, nordeste do Brasil

Terra, Silvia Amorim 27 March 2015 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-07-25T19:35:26Z No. of bitstreams: 1 SilviaAmorimTerra_DISSERT.pdf: 8312476 bytes, checksum: 1f02e20db0fedd2c8dc5413db2f0b262 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-01T20:19:56Z (GMT) No. of bitstreams: 1 SilviaAmorimTerra_DISSERT.pdf: 8312476 bytes, checksum: 1f02e20db0fedd2c8dc5413db2f0b262 (MD5) / Made available in DSpace on 2016-08-01T20:19:56Z (GMT). No. of bitstreams: 1 SilviaAmorimTerra_DISSERT.pdf: 8312476 bytes, checksum: 1f02e20db0fedd2c8dc5413db2f0b262 (MD5) Previous issue date: 2015-03-27 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico - CNPq / O presente trabalho objetiva a caracteriza??o de rochas carbon?ticas da Forma??o Janda?ra, termalmente afetadas no contato com intrus?es b?sicas do Pale?geno e Ne?geno, na regi?o dos munic?pios de Pedro Avelino e Janda?ra (RN), nordeste do Brasil. Para o estudo em tela, foram utilizados dados de campo, microsc?picos, difra??o de raios-X, microssonda eletr?nica e litogeoqu?mica de rocha total. Os calc?rios n?o afetados termalmente s?o wackstones, grainstones e packstones. Podem constituir fragmentos de foramin?fero bent?nico, espinhos de equinoderma, ostracode, algas, bivalve, gastr?pode, pel?ides e intraclastos. A porosidade encontrada se enquadra nos tipos vugular, intrapart?cula, interpart?cula, intercristalina e m?ldica. Como minerais essenciais, tem-se calcita, anquerita e dolomita; como fases detr?ticas, citam-se montmorilonita, pirita, limonita, quartzo e microclina. Os calc?rios termalmente afetados apresentam granula??o muito grossa a muito fina e colora??o cinza clara a escura. Os componentes fossil?feros desaparecem totalmente, e a porosidade tende a desaparecer. Com os dados obtidos, infere-se que os prot?litos carbon?ticos seriam calc?rios calc?feros a dolom?ticos, ambos com pequena quantidade de minerais do grupo das argilas. Os calc?rios cristalinos de prot?lito dolom?tico cont?m calcita rombo?drica e bastante sulfeto e ?xido / hidr?xido de ferro, tornando as rochas bem mais escuras. Os carbonatos de prot?lito calc?tico mostram grande varia??o de granula??o em fun??o do grau de recristaliza??o, que aumenta na dire??o do contato com os corpos b?sicos. Neste grupo, foram identificados os minerais pirometam?rficos lizardita e espin?lio nas amostras pouco e moderadamente afetadas, e espin?lio e espurrita nas fortemente afetadas, al?m da calcita que ocorre em todos os casos. O contexto geol?gico (intrus?es rasas de diab?sios), a presen?a dos minerais pirometam?rficos espurrita e olivina (pseudomorfisada para lizardita, serpentina, brucita), e compara??o com diagramas da literatura permitem estimar temperaturas e press?es em torno de 1050-1200?C e 0,5-1,0 kbar, respectivamente, para PTOTAL=PCO2. O resfriamento p?s-intrus?o teria propiciado a remobiliza??o de por??es de mat?ria org?nica do sedimento original e libera??o de fluidos metassom?ticos / hidrotermais, ensejando a abertura do sistema metam?rfico, com eventual contribui??o de elementos qu?micos das unidades hospedeiras (arenitos, folhelhos) e das pr?prias intrus?es b?sicas. Isto favoreceria a hidrata??o de fases pr?vias, resultando em forma??o de serpentina, clorita e brucita. Os resultados mostram a forte influ?ncia do calor aportado por intrus?es b?sicas no pacote sedimentar. Considerando que na por??o offshore da bacia ocorrem soleiras com espessura de at? 1000 m, o entendimento do pirometamorfismo poder? ser de grande utilidade na compreens?o e dimensionamento desses dep?sitos. / The present study aims the characterization of thermally affected carbonate rocks from Janda?ra Formation in contact with Paleogene and Neogene basic intrusions in the region of the Pedro Avelino and Janda?ra municipalities (RN), northeastern Brazil. For this study, field, petrographic, x-ray diffraction, electron microprobe, and whole rock litogeochemistry data of carbonates were undertaken. The thermally unaffected limestones are classified like wackstones, grainstones and packstones. They may constitute carbonates grains of benthic foraminifera, echinoderm spines, ostracods, algae, corals, bivalves, gastropods, peloids and intraclasts. The porosities are classified like vug, intraparticle, interparticle, intercrystal and moldic types. The major minerals are calcite, ankerite and dolomite; the detrital are montmorillonite, pyrite, limonite, quartz and microcline. The thermally affected limestones are very coarse to very fine-grained and light to dark gray color. The fossiliferous components totally disappear, and the porosity tends to disappear. With the data obtained, it can be inferred that the carbonate protoliths would be calciferous to dolomitic limestones, both with small amount of clay minerals. Crystalline carbonates from dolomitic protolith have rhombohedral calcite and iron oxides / hydroxides, making the rocks much darker. The carbonates from calciferous protolith have a wide variation of grain size according to the recrystallization degree, increasing toward contact with the basic bodies. In this group, it was identified the minerals lizardite and spinel in weakly to moderately affected samples, and spinel and spurrite in strongly affected rocks, as well as calcite, that occur everywhere. The geological context (shallow level diabase intrusions), the crystallization of the pyrometamorphic minerals spurrite and olivine, and comparison with diagrams from the literature allow estimating temperatures and pressures around 1050-1200 ?C and 0.5-1.0 kbar, respectively, for PTOTAL=PCO2. The post-intrusion cooling would have afforded the releasing of metasomatic / hydrothermal fluids, allowing the opening of the metamorphic system, with possible contribution of chemical elements from host units (sandstones, shales) and from basic intrusions. This would induce hydration of previous phases, allowing the formation of serpentine, chlorite and brucite. The results discussed here reveal the strong influence of the heat from basic intrusions within the sedimentary pile. Whereas in the offshore portion of the basin occur sills with up to 1000 m thickness, the understanding of pyrometamorphism might be useful for understanding and measuring the thermally affected rocks.
4

Les énoncés du Surmoi : le Surmoi complexe ou le complexe du Surmoi / The statements of the superego​ : the superego complex or the complex of superego

Kata-Christophe, Anna 08 July 2016 (has links)
Au travers de la thèse j’interroge l’instance de Surmoi en insistant sur son aspect processuel. Le processus surmoïque est constant et très complexe. Ce travail dynamique et topique du Surmoi est lié avec le travail économique de constellation des énonces catégoriques surmoïques qui encadrent et réorganise le mouvement psychique. La constellation des énoncés surmoïques comme une sorte de langage interne est construit dans le lien intersubjectif entre des sujets. L’énoncé c’est un message transmis par l’autre. L’autre apparait comme ancien l’énonciateur qui a laissé des traces dans la réalité psychique et aussi comme celui qui énonce et qui existe dans la réalité actuelle. Je propose l’hypothèse du Surmoi comme la modalité de passage entre le sujet et la culture sous angle des énonces surmoïques venu de l’autre dans les liens par le biais du processus d’identification multiple, ce que construit de la toile de Surmoi multiple. Le Surmoi multiple permet de dépasser la problématique de la paradoxalité et de l’ambuiguité du Surmoi et permet de voir sa double inscription, pulsionnelle et culturelle à la fois. L’autre qui est inscrit dans son environnement groupal prolonge mon hypothèse à ce qui se passe entre le sujet et le groupe est véhiculé dans l’espace psychique interne du Surmoi ce que je montre au travers de la clinique des sujets en malêtre et en crise et avec une fragilité identitaire. Je tente une réflexion sur la capacité contenante de l’institution, représentée par un groupe social institué (le groupe des soignants, le groupe des éducateurs, des professeurs) qui sont placés dans une référence culturelle donnée. Je propose de voir le groupe comme espace potentiel constituant la groupalité interne du Surmoi comme une toile signifiant. Le Surmoi multiple est à la frontière psychique et il est aussi la forme potentielle entre ce qui est intrapsychique et intersubjective. La fonction de l’autre à travers ses énoncés liés au contexte d’énonciation, est un fil rouge. La thèse tente de montrer que l’énoncé de l’autre organise une scène fournissant une forme potentielle comme une des traces multiples et surmoïques de l’autre chez un autre. La consciance morale – le sens interne qui guide est situé dans le Surmoi autant que la moralité et la culture interiorisé. Les lois sociales et la métacadre permettant de „vivre ensemble” fondent la condition humaine d’un sujet dans l’intitution. La clinique montre que les sujets qui souffrent déposent leur malêtre dans le groupe, qui s’organise comme une scène. Quand la culture portée par ce groupe possède les principes donnant un dispositif opérant, le cadre acquiert aussi une fonction contenante. Le lien entre le sujet et autrui est vu comme un échange d’une scène à une autre scène, ce qui convoque la figure de l’intrus et de l’étranger. Dans la rencontre avec le sujet il s’agit de transformer l’intrus en étranger familier. Par conséquent la quête du lien d’altérité est mise en question. / Through this thesis I question the Superego instance, emphasising its processing aspect. The Superego process is constant and very complex. The dynamic and topical work of the Superego is linked with the categorical, economic work of togetherness of statements that frame and reorganise the psychological movement. The togetherness of Superego statement as a sort of internal language is built in the inter subjective link between persons. The statement is a message transmitted by the ‹ Other ›. The Other appears as the former speaker who has left traces in the psychic reality of the person and also exists and sets the current reality. I propose the hypothesis of the Superego as a transfer mode between the person and his surroundings culture in terms of Superego statements passed from the ‹ other › within the bounds of multiple identifications. A process that builds the canvas of a multiple Superego. Multiple Superego overcomes the problem of paradoxical and ambiguity of simple Superego and demonstrates its double registrar, both drive and cultural. The Other one, registered in his group environment prolongs my hypothesis of what happens between the person and his group carried in the internal psychic space of the Superego. I demonstrate this with clinical cases, the persons with fragile identity in identity crisis. I try to reflect on the restraining capacity of the Institution , represented by an establish social group (eg the caregiver group, the educator group, the teachers) which is placed in a given cultural reference. I propose to see the group as a potential element (space) that will look into the multiple Superego as a workable canvas. Multiple superego is as the psychological border and it is also the potential form between what is intrapsychic and intersubjective.The mental capacity and the function of the other one through his speaking statements related to his surrounding context is a red string of this thesis. The thesis attempts to show that the speaking statement the other one arrange both groupal and psychic space like an scene providing in potential possibility in a multiple traces of superego of the other in another.The moral consciance - the internal sense which guide is located in the Superego as much as internalized morality and culture. Social laws and meta-framework for "living together" based the human condition of each person in intitution. The clinic case shows the suffering person who deposit their pain and ilness on the group, which get organized as a psychic scene. When the culture carried by this group has the principles giving an operating device, the framework also acquires a containing function. The relationship between two persons or person and the others is seen as an exchange from one psychic scene to another, which is associated with problematic of un intruder and un uncanny. In this case the encounter consiste to transform the intruder in familiar uncanny. Away the quest of otherness (alterity) is in question.
5

Pirometamorfismo nos arenitos da Forma??o A?u, Bacia Potiguar, NE do Brasil

Santos, Larissa dos 19 December 2013 (has links)
Made available in DSpace on 2015-03-13T17:08:39Z (GMT). No. of bitstreams: 1 LarissaS_DISSERT.pdf: 4305557 bytes, checksum: 7f5031ea79015e9573b6354a457ad4a9 (MD5) Previous issue date: 2013-12-19 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Pyrometamorphism results from conditions of high temperatures and very low pressures provoked by the intrusion of hypabyssal basic bodies into sedimentary or metassedimentary hosting rocks. The onshore portion of the Potiguar Basin in NE Brazil offers examples of this type of metamorphism nearby the contacts of Paleogene to Neogene plugs, sills and dikes of diabases and basalts crosscutting sandstones, siltstones and shales of the A?u Formation (Albian-Cenomanian). The thermal effects over these rocks are reflected on textures and minerals assemblages that characterize the sanidinite facies of metamorphism, often with partial melting of the feldspathic and mica-rich matrix. The liquid formed is potassic and peraluminous, with variably colored rhyolitic glass (colorless, yellow, brown) comprising microcrystals of tridymite, sanidine and clinoenstatite, besides residual detrital clasts of quartz and rarely zircon, staurolite and garnet. Lenses of shale intercalated within the sandstones display crystallites of Fe-cordierite (sekaninaite), mullite, sanidine, armalcolite (Fe-Ti oxide) and brown spinel. The rocks formed due to the thermal effect of the intrusions are called buchites for which two types are herein described: a light one derived from feldspathic sandstone and siltstone protoliths; and a dark one derived from black shale protoliths. Textures indicating partial melting and minerals such as sanidine, mullite, tridymite and armalcolite strongly demonstrate that during the intrusion of the basic bodies the temperature reached 1,000-1,150?C, and was followed by quenching. Cooling of the interstitial melts has as consequences the closure of pores and decrease of the permeability of the protolith, which varies from about 17-11% in the unaffected rocks to zero in the thermally modified types. Although observed only at contacts and over small distances, the number of basic intrusions hosted within the Potiguar Basin in both onshore and offshore portions leaves opened the possibility of important implications of the thermal effects over the hydrocarbon exploration in this area as well in other Cretaceous and Paleozoic basins in Brazil / Pirometamorfismo ?gneo resulta de condi??es de altas temperaturas e baix?ssimas press?es provocadas pela coloca??o de corpos b?sicos hipabissais em encaixantes sedimentares ou metassedimentares. A Bacia Potiguar (NE do Brasil), em sua parte continental, oferece exemplos deste tipo de metamorfismo nas proximidades e contatos de plugs, soleiras e diques de diab?sios do Pale?geno e N?ogeno, intrusivos em arenitos e folhelhos da Forma??o A?u (Albiano-Cenomaniano). O efeito termal nestas rochas se reflete em texturas e associa??es minerais que caracterizam a f?cies sanidinito, com frequente fus?o parcial da matriz feldsp?tica a mic?cea. O l?quido formado pela fus?o ? pot?ssico e peraluminoso, formando um vidro riol?tico de cores variadas (incolor, amarelo, marrom) englobando microcristais de tridimita, clinoenstatita e sanidina, al?m de clastos de quartzo e raramente zirc?o, estaurolita e granada. Lentes de folhelho, intercaladas nos arenitos, cont?m cristalitos de Fe-cordierita (secanina?ta), mullita, sanidina, armalcolita (?xido de Fe e Ti) e espin?lio marrom. As rochas formadas devido ao efeito termal das intrus?es se chamam buchitos, sendo aqui descritos os tipos claros (prot?lito arenito e siltito feldsp?tico) e escuros (prot?lito folhelho escuro). Texturas indicativas de que houve fus?o parcial e minerais tais como sanidina, mullita, tridimita e armalcolita demonstram que foram atingidas temperaturas da ordem de 1000-1150?C, seguido por arrefecimento ultrarr?pido. O resfriamento do l?quido intersticial tem como consequ?ncia o fechamento de poros e a diminui??o da permeabilidade dos prot?litos, passando de 17-11% nas rochas n?o afetadas a zero naquelas mais transformadas. Apesar de essas rochas serem observadas apenas nos contatos ou a pouca dist?ncia dos mesmos, o grande n?mero de corpos b?sicos intrusivos na Bacia Potiguar, tanto na parte emersa como na por??o oce?nica, deixa em aberto a possibilidade de fortes implica??es do efeito termal na explora??o de hidrocarbonetos nesta ?rea como tamb?m em outras bacias cret?ceas e paleozoicas no Brasil
6

SurRFE -Sub-rede de filtragens espec?ficas

Galv?o, Ricardo Kl?ber Martins 11 July 2006 (has links)
Made available in DSpace on 2014-12-17T14:55:05Z (GMT). No. of bitstreams: 1 RicardoKMG.pdf: 620624 bytes, checksum: 2265857dd8185aa481f6e9891ee2c38f (MD5) Previous issue date: 2006-07-11 / The increasing of the number of attacks in the computer networks has been treated with the increment of the resources that are applied directly in the active routers equip-ments of these networks. In this context, the firewalls had been consolidated as essential elements in the input and output control process of packets in a network. With the advent of intrusion detectors systems (IDS), efforts have been done in the direction to incorporate packets filtering based in standards of traditional firewalls. This integration incorporates the IDS functions (as filtering based on signatures, until then a passive element) with the already existing functions in firewall. In opposite of the efficiency due this incorporation in the blockage of signature known attacks, the filtering in the application level provokes a natural retard in the analyzed packets, and it can reduce the machine performance to filter the others packets because of machine resources demand by this level of filtering. This work presents models of treatment for this problem based in the packets re-routing for analysis by a sub-network with specific filterings. The suggestion of implementa- tion of this model aims reducing the performance problem and opening a space for the consolidation of scenes where others not conventional filtering solutions (spam blockage, P2P traffic control/blockage, etc.) can be inserted in the filtering sub-network, without inplying in overload of the main firewall in a corporative network / O aumento do n?mero de ataques a redes de computadores tem sido combatido com o incremento dos recursos aplicados diretamente nos equipamentos ativos de roteamento destas redes. Nesse contexto, os firewalls consolidaram-se como elementos essenciais no processo de controle de entrada e sa?da de pacotes em uma rede. O surgimento dos sistemas detectores de intrus?o (IDS) levou a esfor?os no sentido de incorporar a filtragem de pacotes baseada em padr?es ao firewall tradicional, integrando as fun??es do IDS (como a filtragem baseada em assinaturas, at? ent?o um elemento passivo) ?s fun??es j? existentes no firewall. Em contrapartida ? efici?ncia obtida atrav?s desta incorpora??o no bloqueio de ataques com assinaturas conhecidas, a filtragem no n?vel de aplica??o, al?m de provocar um retardo natural nos pacotes analisados, pode comprometer o desempenho da m?quina na filtragem dos demais pacotes, pela natural demanda por recursos da m?quina para este n?vel de filtragem. Essa tese apresenta modelos de tratamento deste problema, baseados no re-roteamento dos pacotes para an?lise por uma sub-rede de filtragens espec?ficas. A sugest?o de implementa??o deste modelo visa, al?m de amenizar o problema de desempenho supra-citado, abrir espa?o para a consolida??o de cen?rios em que outras solu??es de filtragem n?o convencionais (como ferramentas de bloqueio de SPAM, controle/bloqueio de tr?fego P2P, e outras) possam ser inseridas na sub-rede de filtragem, sem implicar em sobrecarga do firewall principal da rede corporativa

Page generated in 0.044 seconds