Dissertação (mestrado)—Universidade de Brasília, Instituto de Geociências, Programa de Pós-Graduação em Geociências, 2013. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-09-23T15:19:07Z No. of bitstreams: 1 2013_MarianoFedericoPascual.pdf: 1686370 bytes, checksum: f49f0b6e29bce7ec63eb24c2579db567 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-09-24T15:17:23Z (GMT) No. of bitstreams: 1 2013_MarianoFedericoPascual.pdf: 1686370 bytes, checksum: f49f0b6e29bce7ec63eb24c2579db567 (MD5) / Made available in DSpace on 2013-09-24T15:17:23Z (GMT). No. of bitstreams: 1 2013_MarianoFedericoPascual.pdf: 1686370 bytes, checksum: f49f0b6e29bce7ec63eb24c2579db567 (MD5) / Esta dissertação de mestrado apresenta dois estudos de caso relacionados a arquiteturas de implantação de sistemas de informações geográficas (SIG) em ambiente web que culminaram no desenvolvimento de um framework composto por um conjunto de componentes de apoio à construção de novos softwares de SIG para web. O primeiro estudo foi realizado com foco na interoperabilidade de serviços de mapas na web, contemplando principalmente as funções de consulta e disponibilização de dados em formatos diversos. Para viabilizar a troca e integração de informações espacializadas, foi necessário o desenvolvimento de alguns componentes que foram escritos sobre tecnologias proprietárias tais como Esri Flex API. Entendidas as limitações que um motor central de código fechado poderia trazer ao objeto principal do estudo, isto é, o desenvolvimento de uma arquitetura de intercâmbio de informações geográficas, surgiu a idéia de construir um conjunto de software que contornassem tais dificuldades. O segundo estudo foi realizado com foco na elaboração de um framework livre para desenvolvimento de SIG em ambiente web de padrão Rich Internet Application (RIA) e que seguisse conceitos da Web 2.0, possibilitando a indexação e visualização de dados provenientes de diferentes tipos de mídia (fotografias, vídeos, documentos) que fossem aderentes aos padrões da Open Geospatial Consortium (OGC), mas que, ainda assim, fossem possíveis de serem compartilhadas com outros formatos de dados. Este último estudo buscou ainda reduzir a complexidade e custos de implantação de projetos dessa natureza e facilitar a customização por parte de usuários finais. Ao conjunto de códigos desenvolvidos e sua arquitetura, foi dado o nome de XGIS Flex Framework. ______________________________________________________________________________ ABSTRACT / This MSc. Thesis presents two study cases related to the architectures of implementation of geographical information systems (GIS) in web environment that ended in the development of a framework composed by a set of components supporting the preparation of new web GIS software packages. The first study was conducted focused on the interoperability of map services in the web, mainly covering the functions of consultation and release of data at varying formats. In order to enable exchange and integration of spatial information, it was necessary to develop components based on proprietary technologies like ESRI Flex API. After understanding the limitations that a central engine of closed source code could bring to the main object of study, that is, the development of an architecture for the exchange of geographic information, we came out with the idea of building a set of software that would circumvent such difficulties. The second study was conducted focusing on the preparation of a free framework for development of GIS in an environment of Rich Internet Application (RIA) and Web 2.0 concepts. The purpose here was to enable indexing and visualization of data from different types of media (photos, videos, documents) that were adherent not only to the standards of the Open Geospatial Consortium (OGC), but also to other data formats. The latter study also sought to reduce the complexity and costs of implementation of such projects and to facilitate customization by end users. This set of developed softwares and its architecture was named XGIS Flex Framework.

Made available in DSpace on 2018-08-02T00:00:53Z (GMT). No. of bitstreams: 1 tese_3860_DissertacaoMestradoLucianoGoyaBillotta.pdf: 3003769 bytes, checksum: 80d3c6b2524b83dedc30518626638334 (MD5) Previous issue date: 2011-11-11 / Este trabalho propõe um artefato de software para alocação dinâmica de recursos, baseado nas pesquisas realizadas no Projeto TIAMHAT, desenvolvido em cooperação com a Rede Nacional de Ensino e Pesquisa. Esse tipo de software é de alta importância para as redes de pesquisa ao redor do mundo dado que a comunidade científica necessita de comunicação através de redes com capacidade para suportar alto tráfego de dados também conhecidas como e-science. O artefato proposto é baseado em duas soluções estudadas no Projeto e, por isso, este trabalho também se propõe a descrever essas tecnologias, assim como as arquiteturas e protocolos envolvidos na alocação com o intuito de se chegar a um maior entendimento de como a nova proposta foi implementada. Espera-se que o artefato proposto seja aceito pela comunidade científica e, por se tratar de uma solução aberta, que seja aperfeiçoada ao longo do tempo pelos próprios usuários e incorporada a softwares que já possuem mais funcionalidades para a alocação dinâmica de recursos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:11:35Z (GMT). No. of bitstreams: 1 326855.pdf: 3181733 bytes, checksum: 358e6c548cf55f5dce7fc7180a94ce48 (MD5) Previous issue date: 2013 / As VANETs (Vehicular Ad hoc Networks) são formadas por sistemas de comunicação entre veículos que fazem parte de um ambiente de trânsito e têm seus nós compostos por veículos e por equipamentos fixos que estão presentes ao longo das vias. Estas redes objetivam proporcionar conforto e segurança aos passageiros, por meio de informações sobre acidentes na pista, condição da estrada e aplicações de entretenimento. A disponibilidade e o tempo em que as mensagens trafegam nesta rede são essenciais para tais aplicações. Por isso, as VANETs requerem métodos eficientes e confiáveis para a comunicação de dados. Para prover confiabilidade à difusão de dados em redes veiculares deve-se transpassar alguns problemas como, por exemplo, broadcast storm, nós ocultos, alta colisões de pacotes, redundância de informação, entre outros. Muitos destes problemas persistem em estudos realizados anteriormente. Este trabalho tem por objetivo prover confiabilidade na disseminação de mensagens em aplicações voltadas a segurança no trânsito por meio de um protocolo adaptativo e eficiente. O protocolo proposto é adaptativo pois adapta o período entre transmissões de mensagens de controle de acordo com a densidade da rodovia, a fim de diminuir o número de mensagens geradas na rede. Também visa ser eficiente pois diminui a quantidade de colisões frente a quantidade de pacotes gerados na rede, oferece menor atraso no envio das mensagens e diminui a quantidade de retransmissões em cenários com mais de um alerta na rede. O trabalho envolveu (I) a definição do protocolo proposto, a integração e o uso deste pela aplicação, (II) a implementação de uma aplicação para rodovias com simuladores de redes e de tráfego bidirecionalmente acoplados, (III) avaliação da confiabilidade do protocolo proposto e dos impactos decorrentes do uso do protocolo na aplicação de disseminação de alertas por meio de simulações realizadas em diferentes cenários de densidade de veículos, e (IV) as análises dos resultados experimentais obtidos. Os resultados dos experimentos comprovam que o protocolo proposto, para os cenários simulados é 100 % confiável e que os impactos decorrentes do seu uso não prejudicam as funcionalidades da aplicação, comprovando a eficiência do protocolo.<br> / Abstract : The VANETs (Vehicular Ad hoc Networks) are formed by communication systems among vehicles which are part of the same traffic environment. Their nodes are composed of vehicles and fixed equipment present along the traffic ways. The aim of these networks is to provide comfort and safety to passengers through information about accidents on the road, road conditions and entertainment applications. The availability and the time span in which these messages move through the network are essential for these applications. Consequently, the VANETs require eficient and reliable methods for data communication. To ensure that data transmission in vehicular networks is reliable certain problems must be overcome, such as broadcast storm, hidden nodes, high collision of packages, information redundancy, among others. Many of these problems persist in previous studies. Thus, this work aims at providing, through an adaptive and eficient protocol, reliability to message transmission in applications targeted at traffic safety. The proposed protocol is adaptive as it adapts the time span between the transmissions of messages according to the road density, in order to decrease the number of messages generated in the network. It also aims at efficiency as it decreases the amount of collisions due to the number of packages generated in the network, presents less delay in message transmission and decreases the amount of retransmissions in scenarios with more than one alert in the network. This research involved (I) the definition of the proposed protocol, its integration and use by the application, (II) the implementation of an application for motorways with network and traffic simulators directionally attached, (III) evaluation of the reliability of the proposed protocol and of the impacts resulting from the use of the protocol in the application of spread of alerts through simulations carried out in diverse scenarios of vehicle density, (IV) the analyses of the experimental results. These results prove that the proposed protocol is 100 % reliable for simulated scenarios and that the impacts produced by its use do not harm the functionalities of the application, proving the eficiency of the protocol.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T21:29:02Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:16:16Z : No. of bitstreams: 1 170924.pdf: 6643472 bytes, checksum: 49f074535feac7f42c5cff11e098581c (MD5) / No início dos anos 70, foi criada a Internet pelo Departamento de Defesa Americano (DoD). Foi desenvolvido uma arquitetura e softwares (protocolos) que permitiam a comunicação entre os computadores. O objetivo desta estrutura inicial era facilitar ao máximo o tráfego das informações entre os órgãos envolvidos no projeto. Foi um sucesso e rapidamente novos computadores se conectavam a esta estrutura de "rede". Conjuntamente com a Internet surgiram novos conceitos e entre eles a "segurança das informações" que transitam livremente pela rede. Matéria esta abordada desde 1970, em algumas universidades americanas, que com uma visão futurista já percebiam a importância da confiabilidade e integridade dos dados. Atualmente este é um tema polêmico, muito se ouve falar e muitos trabalhos são realizados em todas as partes do mundo. Mas, o que existe de real, de possível, sem os exageros da mídia e sem a grandiosidade pessoal? Existem muitos mecanismos que tratam de forma eficiente e confiável o tema "segurança". E é sobre eles que este trabalho se refere. Mostrando inicialmente a arquitetura básica de redes, os protocolos mais utilizados por esta estrutura, técnicas de firewalls para controle de fluxo de acesso na rede, os protocolos "seguros", a autenticação e certificação e finalmente das VPNs. "Segurança na Internet?" procura ser uma fonte de consulta para administradores e gerentes de redes que, preocupados com as informações coorporativas, gerenciam os acessos, as transações e as autenticações de suas redes locais e WANs, usuários e os acessos à Internet.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Computação. / Made available in DSpace on 2012-10-18T02:18:38Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:55:42Z : No. of bitstreams: 1 181748.pdf: 3628520 bytes, checksum: dbfb1ae6601ce91f3dac39318f5b5ab3 (MD5) / Este trabalho consiste no estudo e na realização de experimentos com o Multi-Protocolo sobre ATM. São apresentados testes de interoperabilidade entre equipamentos com suporte a MPOA de diferentes fabricantes. Nos experimentos de conformidade as características dos equipamentos são confrontadas com as declarações de conformidade da implementação do protocolo MPOA. Para mostrar os benefícios do MPOA, foi implementado um ambiente de teste especifico para realizar experimentos de avaliação de desempenho em ambientes s

133 f. / Submitted by Cynthia Nascimento (cyngabe@ufba.br) on 2013-03-27T15:54:10Z No. of bitstreams: 2 Priscylla Alves Campos - texto.pdf: 1126589 bytes, checksum: dba4712a2861930419d79671d87f56f6 (MD5) Priscylla Alves Campos - pré- textual.pdf: 32845 bytes, checksum: a4a9a24cbb6905de8f09da5cbf1a1607 (MD5) / Approved for entry into archive by Alda Lima da Silva(sivalda@ufba.br) on 2013-03-27T17:39:53Z (GMT) No. of bitstreams: 2 Priscylla Alves Campos - texto.pdf: 1126589 bytes, checksum: dba4712a2861930419d79671d87f56f6 (MD5) Priscylla Alves Campos - pré- textual.pdf: 32845 bytes, checksum: a4a9a24cbb6905de8f09da5cbf1a1607 (MD5) / Made available in DSpace on 2013-03-27T17:39:53Z (GMT). No. of bitstreams: 2 Priscylla Alves Campos - texto.pdf: 1126589 bytes, checksum: dba4712a2861930419d79671d87f56f6 (MD5) Priscylla Alves Campos - pré- textual.pdf: 32845 bytes, checksum: a4a9a24cbb6905de8f09da5cbf1a1607 (MD5) / O presente trabalho, intitulado Fragmentos de um sujeito no cyberespaço, estuda a produção do escritor Affonso Romano de Sant’Anna disponibilizada na internet. A partir dos conceitos de autobiografia, autofiguração, intelectual e das relações dialógicas que podem ser observadas em um texto de publicação on line, tais como intertextualidade, hipertexto e encadeamento, observa-se a forma como esse sujeito constrói o seu avatar no cyberespaço. Além disso, é possível perceber como este se constitui através das escritas e das imagens de si em um exercício de autopromoção. Nesse sentido, para realizar essa análise, foram selecionados como corpora o seu site, blog, twitter e as crônicas de rádio disponibilizadas pela Rádio Metrópole de Salvador na internet. Através do estudo de amostra desses textos, é possível verificar o seu comportamento e movimentação no cyberespaço. / Universidade Federal da Bahia. Instituto de Letras. Salvador-Ba, 2011.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T08:57:41Z (GMT). No. of bitstreams: 1 230694.pdf: 1788734 bytes, checksum: feca4381489c4c1bf8de9a28f891ab51 (MD5) / Neste trabalho, é realizado o estudo e a implementação de Desigualdades Matriciais Lineares (LMIs) no projeto dos controladores Proporcional Integral (PI) e Detecção Preventiva Aleatória (RED), quando esses são aplicados no Gerenciamento Ativo de Fila (AQM) de uma rede de computadores. As LMIs são construídas observando-se a minimização dos critérios de desempenho H ¥ para sistemas com atraso, os quais garantem a estabilidade assintótica do sistema estudado. Como o protocolo de transporte TCP é o que incorpora o AQM nos seus serviços de entrega confiável de dados, ele foi escolhido para interagir com os mecanismos de gerenciamento ativo de fila que estão sendo propostos. O modelo do TCP é desenvolvido baseado na análise de fluxo-fluído e na teoria de Equações Diferenciais Estocásticas (SDEs), já para o modelo do AQM são utilizadas as respectivas funções de transferência dos controladores PI e RED. Para comparar a eficácia da técnica de projeto através das LMIs, os controladores também foram projetados através de técnicas da Teoria de Controle Clássico e um estudo comparativo entre esses métodos é apresentado. As performances dos controladores, verificadas e comparadas usando-se o simulador de redes NS-2, mostram que os métodos são equivalentes, e que o PI é menos sensível do que o RED na presença de variações nos parâmetros da rede como número de sessões, atraso de propagação e capacidade do enlace. In this work, Linear Matrix Inequalities (LMIs) are used to design the Proportional Integral (PI) and the Random Early Detection (RED) controllers when them are applied in the Active Queue Management (AQM) of networks. The LMIs are built observing the H ¥ performance criteria, to systems with delay, which assure the asymptotically stability of the studied system. As the Transmission Control Protocol (TCP) incorporates the AQM policy in its services of trustworthy delivery of data, it was chosen to interact with the mechanisms of active queue management that are being considered. The TCP dynamic model is based on fluid-flow and Stochastic Differential Equations (SDEs) analysis, and to the AQM model is used the respective transfer functions of controllers PI and RED. To prove the effectiveness of the design technique with LMIs, the controllers were also configured through techniques of the Theory of Classic Control and a comparative study between these methods is presented. The performance of the controllers, verified and compared using the network simulator NS-2, show that the methods are equivalents, and that the PI is lesser sensitive than RED in the presence of network parameter variations such as load factor, round-trip time and link capacity.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017 / Made available in DSpace on 2017-06-27T04:22:41Z (GMT). No. of bitstreams: 1 345978.pdf: 978430 bytes, checksum: e7dbdcc1dd284e84bcac339aae3f6488 (MD5) Previous issue date: 2017 / Abstract : Security ceremonies are extensions of security protocols, including all that is out-of-bounds for protocols. Nowadays we lack a base description language and a detailed threat model for security ceremonies in order to be able to use symbolic evaluation methods and verify claims embedded in ceremonies. Our goal is to contribute with a syntax and detailed threat model for ceremonies description in order to establish our proposal for a new attacker type named Distributed Attacker (DA in brief). Moreover, we also developed a strategy for symbolic evaluation of our attacker model using First-Order Logic (FOL) and an automatic theorem prover. Lastly, we present scenarios formally analysed with our methodology, including cases we could not have with standard Dolev-Yao or Multi-Attacker models. For instance, our most interesting scenario is when several attackers gather only pieces of an user's credentials and, by putting together their knowledge, collude to attack this user's email account.<br> / Protocolos de segurança são subconjuntos das chamadas cerimônias de segurança. Atualmente não se tem uma linguagem de descrição e um modelo de ameaça detalhado para cerimônias de segurança, necessários para o uso de métodos de avaliação simbólica e verificação de suposições presentes em cerimônias. O objetivo desta dissertação é contribuir com uma sintaxe para descrição de mensagens de cerimônias e apropriado modelo de ameaça a fim de estabelecer a proposta para um novo tipo de atacante (nomeado Atacante Distribuído). Adicionalmente, uma estratégia para execução de avaliação simbólica também foi desenvolvida, utilizando lógica de primeira ordem e um provador de teoremas automático. Por fim, cenários formalmente analisados com o modelo de atacante proposto são exibidos, incluindo casos não passíveis de serem simulados com modelos padrão como Dolev-Yao ou Multi-Attacker. Por exemplo, o caso mais interessante é o que apresenta vários atacantes com conhecimento apenas de partes das credenciais de um usuário, mas que ao colaborar entre si conseguem atacar a conta de email desse usuário.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:39:17Z (GMT). No. of bitstreams: 1 104398.pdf: 3606804 bytes, checksum: fb6214131346d51ecfad2c0f3f093664 (MD5) Previous issue date: 1996 / Análise de abordagens de projeto baseadas em regras de transformações que visam a automatização do processo de síntese de protocolos. Uma vez aplicadas à uma especificação formal de um serviço de comunicação realizada com a Técnica de Descrição Formal LOTOS, as regras de transformação geram automaticamente, a especificação do protocolo de comunicação correspondente a esse serviço. É então apresentado um conjunto de algoritmos de transformação de especificações, que são aplicáveis a especificações de serviço para a obtenção dos protocolos correspondentes. Tais algoritmos são implementados em linguagem C++ para Windows, constituindo uma ferramenta denominada TranSP - Transformação de especificação de Serviço em especificação de Protocolo. Esta ferramenta recebe, como entrada, uma especificação de serviço monolítica e gera, como saída, as especificações de protocolo correspondentes às duas entidades de protocolo (E1 e E2), orientadas a recursos. A ferramenta TranSP é utilizada na transformação de uma parte do serviço CMISE (Common Management Information Service Element) correspondente aos serviços M-GET e M-CANCEL-GET para o protocolo CMIP (Common Management Information Protocol) correspondente.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico / Made available in DSpace on 2016-01-08T21:01:41Z (GMT). No. of bitstreams: 1 104810.pdf: 1822896 bytes, checksum: d9766bf9139d0dd26126c85580d1ecb3 (MD5) Previous issue date: 1996 / O objetivo principal deste trabalho é permitir a interoperabilidade entre sistemas de gerenciamento de redes que seguem modelos de gerenciamento diferentes. Como os modelos de gerenciamento mais difundidos são os modelos OSI e Internet, é apresentada uma proposta de desenvolvimento de um gateway que possibilite esta integração. Além disso, a Aplicação Gateway definida permite também, que a funcionalidade fornecida pelo modelo de gerenciamento de OSI possa ser aplicada sobre o modelo de gerenciamento Internet.