Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013. / Submitted by Letícia Gomes T. da Silva (leticiasilva@bce.unb.br) on 2013-11-27T16:07:18Z No. of bitstreams: 1 2013_DanieleNantesSobrinho.pdf: 876137 bytes, checksum: 0a6a23afdf84d830cc314690803abe68 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-12-09T13:34:47Z (GMT) No. of bitstreams: 1 2013_DanieleNantesSobrinho.pdf: 876137 bytes, checksum: 0a6a23afdf84d830cc314690803abe68 (MD5) / Made available in DSpace on 2013-12-09T13:34:47Z (GMT). No. of bitstreams: 1 2013_DanieleNantesSobrinho.pdf: 876137 bytes, checksum: 0a6a23afdf84d830cc314690803abe68 (MD5) / Apresenta-se um algoritmo para decidir o problema da dedução do intruso (PDI) para a classe de teorias localmente estáveis normais, que incluem operadores associativos e comutativos (AC). A decidibilidade é baseada na análise de reduções de reescrita aplicadas na cabeça de termos que são construídos a partir de contextos normais e o conhecimento inicial de um intruso. Este algoritmo se baseia em um algoritmo eficiente para resolver um caso restrito de casamento módulo AC de ordem superior, obtido pela combinação de um algoritmo para Casamento AC com Ocorrências Distintas, e um algoritmo padrão para resolver sistemas de equações Diofantinas lineares. O algoritmo roda em tempo polinomial no tamanho de um conjunto saturado construído a partir do conhecimento inicial do intruso para a subclasse de teorias para a qual operadores AC possuem inversos. Os resultados são aplicados para teoria AC pura e a teoria de grupos Abelianos de ordem n dada. Uma tradução entre dedução natural e o cálculo de sequentes permite usar a mesma abordagem para decidir o problema da dedução elementar para teorias localmente estáveis com inversos. Como uma aplicação, a teoria de assinaturas cegas pode ser modelada e então, deriva-se um algoritmo para decidir o PDI neste contexto, estendendo resultados de decidibilidade prévios. ______________________________________________________________________________ ABSTRACT / We present an algorithm to decide the intruder deduction problem (IDP) for the class of normal locally stable theories, which include associative and commutative (AC) opera- tors. The decidability is based on the analysis of rewriting reductions applied in the head of terms built from normal contexts and the initial knowledge of the intruder. It relies on a new and efficient algorithm to solve a restricted case of higher-order AC-matching, obtained by combining the Distinct Occurrences of AC-matching algorithm and a stan- dard algorithm to solve systems of linear Diophantine equations. Our algorithm runs in polynomial time on the size of a saturation set built from the initial knowledge of the intruder for the subclass of theories for which AC operators have inverses. We apply the results to the Pure AC equational theory and Abelian Groups with a given order n. A translation between natural deduction and sequent calculus allows us to use the same approach to decide the elementary deduction problem for locally stable theories with inverses. As an application, we model the theory of blind signatures and derive an algorithm to decide IDP in this context, extending previous decidability results.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2018. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Inúmeras tecnologias promissoras foram desenvolvidas desde a concepção da Internet das Coisas (IoT, do inglês Internet of Things) que poderão modificar diferentes aspectos em nosso cotidiano. Tendo em vista o rápido crescimento da IoT, foi criado o grupo de tarefa IEEE 802.11ah para o desenvolvimento de uma nova norma Wi-Fi para lidar com os principais desafios da IoT, que são a conectividade de muitos dispositivos com recursos de energia limitados a um único ponto de acesso e o aumento do alcance das transmissões para distâncias muito maiores do que aquelas tipicamente utilizadas em redes locais sem fio. Assim, esse padrão traz novos mecanismos nas camadas física e de enlace para atender aos requisitos da IoT. Na camada física, houve modificações para operação em faixas de frequências abaixo de 1 GHz e, na camada MAC, o padrão traz novos mecanismos de economia de energia para ter um melhor desempenho em redes densas, sendo um deles o acesso restrito ao canal (RAW, do inglês Restricted Access Window). Recentemente, há muitos trabalhos sobre o IEEE 802.11ah, entretanto, a maior parte deles trazem ideias de agrupamento ou modelagem analítica para descobrirem o tamanho ótimo do RAW para obter maior desempenho da rede. No entanto, para um melhor entendimento dos efeitos dos diversos parâmetros e mecanismos do IEEE 802.11ah, esta dissertação apresenta um modelo analítico da função de coordenação distribuída do IEEE 802.11ah para o caso em que as estações estão distribuídas uniformemente em diversos slots RAW e possuem a mesma prioridade de tráfego, sob condições de tráfego saturado e canal ideal. Em nosso modelo, consideramos que cada intervalo de beacon possui somente um RAW o qual é dividido em slots RAW, e estudamos o impacto no desempenho da vazão ao variar o número de slots RAW e o número de estações na rede. Além disto, introduzimos ao modelo Markoviano uma probabilidade de término do slot RAW e propomos duas expressões empíricas para o cálculo desta probabilidade. Por fim validamos o modelo analítico com simulações no simulador de redes NS3 e, a partir das simulações computacionais, encontramos uma constante de ajuste para aproximar o modelo das simulações. / Many promising technologies have been developed since the conception of the Internet of Things (IoT) that can modify different aspects of our daily lives. In light of the rapid growth of IoT, it was created the IEEE 802.11ah Task Group to develop a newWi-Fi standard to address IoT’s key challenges, which are the connectivity of many devices with limited power resources to a single access point and the increase in the transmissions range for distances much greater than those typically used in wireless local area networks. Thus, this standard brings new mechanisms in the physical and link layers to meet IoT requirements. In the physical layer, there were modifications to permit the operation in frequency bands below 1 GHz and, in the MAC layer, the standard brings new power saving mechanisms to perform better in dense networks, one of which is the restricted access to the channel (RAW). Recently, there have been a lot of work on IEEE 802.11ah, however, most of them bring grouping or analytical modeling ideas to find out the optimal RAW size for a higher network performance. On the other hand, for a better understanding of the effects of the various IEEE 802.11ah parameters and mechanisms, this dissertation presents an analytical model of the distributed coordination function of IEEE 802.11ah for the case where the stations are evenly distributed in several RAW slots and have the same traffic priority, under conditions of saturated traffic and ideal channel. In our model, we consider that each beacon interval has only one RAW which is divided into RAW slots, and we study the impact on throughput performance by varying the number of RAW slots and the number of stations in the network. In addition, we introduce to the Markovian model a probability of reaching the end of a RAW slot and propose two heuristic expressions for this probability calculation. Finally we validate the analytical model with simulations in the networks simulator NS3 and, from the computational simulations, we find an adjustment constant to approximate the model of the simulations.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2008. / Submitted by wesley oliveira leite (leite.wesley@yahoo.com.br) on 2009-09-25T17:58:30Z No. of bitstreams: 1 Dissert_TiagoTrindadeSilva.pdf: 1870142 bytes, checksum: 03e619cb84776343cf5816ecc8c7e98c (MD5) / Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-01-06T01:19:42Z (GMT) No. of bitstreams: 1 Dissert_TiagoTrindadeSilva.pdf: 1870142 bytes, checksum: 03e619cb84776343cf5816ecc8c7e98c (MD5) / Made available in DSpace on 2010-01-06T01:19:42Z (GMT). No. of bitstreams: 1 Dissert_TiagoTrindadeSilva.pdf: 1870142 bytes, checksum: 03e619cb84776343cf5816ecc8c7e98c (MD5) Previous issue date: 2008-02 / A presença do padrão IEEE 802.11 na maioria dos dispositivos móveis disponíveis no mercado e a disponibilidade dos hotspost em hotéis, aeroportos e restaurantes aliados a presença das redes IEEE 802.11 nas empresas, universidades e residências torna a Inte rnet altamente disponível a tais dispositivos. A experiência do usuário com as aplica ções multimídias da Internet torna necessário à utilização de tais aplicações nas redes móveis. Estas aplicações requerem a implementação de QoS ao pa drão IEEE 802.11 de forma que uma WLAN possa atender os requisitos das aplicações e as expectativas dos usuários. As soluções de QoS propostas para o padrão IEEE 802.11 em modo Ad Hoc, como a IEEE 802.11e, baseiam-se na natureza da informação, o que em determinados casos , é uma solução injusta para as estações que estão disputando o acesso ao meio. Por exemplo, quando algumas estações da rede transmitem dados somente com prioridade alta e outras somente com prioridade baixa as estações que utilizam a prioridade alta podem supr imir as transmissões das estações que utilizam a prioridade baixa. Os métodos de acesso ao meio disponíveis não controlam a distribuição de banda entre as estações quando os fluxos transmitidos, por cada estação, possuem prioridades diferentes. Nenhuma das propostas existente garante qualquer tempo de transmissão para as estações. Esta dissertação apresenta uma nova proposta de acesso ao meio com QoS para as redes ad hoc IEEE 802.11 chamado de DCFAH (Distributed Coordination Function Ad Hoc ). A proposta considera um mecanismo de acesso ao meio justo e uma largura de banda mínima para as estações que necessitem de QoS. Também existe uma preocupação com as métricas de QoS como atraso e Jitter. A DCFAH utiliza o mecanismo EDCA para diferenciar o serviço de QoS entre os fluxos internos de uma estação, sendo assim pode ser classificado como um mecanismo por fluxo. A justiça da DCFAH é provida através do mecanismo de controle distribuído, executado em todas as estações , que distribui igualmente a todas as estações os slots de transmissão do período com QoS. A DCFAH ainda provê serviços de melhor esforço para as aplicações que não necessitam de QoS. Obteve-se a análise de desempenho dos parâmetros de throughput, atraso e jitter da DCFAH comparado os resultados obt idos, através de simulações, ao desempenho dos mesmos parâmetros do EDCA. Todas as simulações do DCFAH e do EDCA realizaram -se no simualdor de redes NS 2 com as prioridades de acesso ao meio de voz, vídeo, melhor esforço e background conforme especifica a emenda IEEE 802.11e. Os resultados obtidos demostram a eficiência do DCFAH na distribuição da largura de banda entre as estações da rede conforme as solicitações de reservas efetuadas. O DCFAH comparado ao EDCA não apresenta perda de throughput ou qualquer deterioração nos parâmetros de atraso ou jitter apesar do overhead inserido pelo mecanismo de controle de acesso ao meio e reservas utilizado pelo DCFAH. O período de melhor esforço garante a gradação de serviço entre as estações conforme a natureza da informação. ________________________________________________________________________________________ ABSTRACT / IEEE 802.11 standard is present in most mobile devices available today in the market. The offer of hotspost in hotels, airports and restaurants in conjunction with the IEEE 802.11 network in companies, universities and residences turns the Internet widely accesible to such devices. Because of users experience with these internet multimedia applications, it is necessary to apply these applications on mobile webs, which requires the implementation of QoS over IEEE 802.11 standard, in order to WLAN fulfil the applications requirement and users expectation. The existing QoS solutions for ad hoc IEEE 802.11 standard, such as IEEE 802.11e, are based on the information’s nature. In specific cases, this type of solution is considered unfair to stations disputing a ccess to the media. When some web stations send only high priority data while others send only low priority, they can suppress the low priority transmissions. The media access methods available do not control bandwidth distribuition when data is transmited with different priority by each station. None of the existing solutions assure some transmission time for each station. This dissertation presents a new media access proposal called DCFAH (Distributed Coordination Function Ad Hoc) with QoS for ad hoc IEEE 802.11 networks. It considers a fair media access mechanism and a minimum bandwidth for stations that need QoS. There is also a concern about QoS metrics like delay and Jitter. DCFAH uses an EDCA mechanism to differ the QoS services in an internal fl ow, therefore it can be classified as a mechanism per flow. DCFAH provides fairness through a mechanism of controlled distribution functioning in all stations. It distributes equally slots of period transmissions with QoS to every station. More over, provi des services of better efforts to the applications that do not require QoS. The analysis of the performance of DCFAH throughput, delay and jitter bounds was obtained by comparing results gathered through simulations with the performance of the same parameters of EDCA. All DCFAH and EDCA simulations were done in the network simulator NS 2 using media access priorities of voice, video, best effort and background according to IEEE 802.11e specifications. The results demonstrate DCFAH efficiency on the bandwi dth distribution through the network stations according to reservation requests made. Comparing to EDCA, DCFAH does not demonstrate throughput loss or any deterioration in delay or jitter bounds despite the overhead inserted by the media and reserves contr ol access mechanism used by DCFAH. The best effort period assures the QoS between stations according to the information natures.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 85-90 / A pesquisa de soluções de comunicação de baixo custo para redes de acesso em localidades remotas e de baixa densidade populacional é um tópico importante na área de telecomunicações. Prover serviços de voz e dados para essas localidades é uma tarefa desaf / The research of low-cost communication solutions for access networks in remote small villages is an important topic in the telecommunications area. Providing voice and data services for these localities is a challenger. In nearly all cases, conventional t

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: p.79-81 / Esse trabalho investiga a utilização de redes TLFN (Time-Lagged Feedforward Network) na previsão de tráfego de longo prazo de um provedor de serviços Internet. O estudo propõe quatro modelos de previsão de tráfego baseados em redes neurais MLP (Multi-Laye / This work investigates the use of Time-Lagged Feedforward Network (TLFN) in predicting long-term traffic for one Internet service provider. The study proposes four traffic forecast models based on Multi-Layer Perceptron (MLP) neural networks, which are co

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f.79-83 / Este trabalho descreve uma arquitetura denominada TCP-HPL (TCP for High Packet Losses) para amenizar a perda de pacotes em redes sem fio com alta taxa de perdas de pacotes. Ele é transparente para ambos o TCP originador e receptor com relação a sintaxe do / This paper describes an architecture to mitigate the packet loss on wireless networks called TCP-HPL. The TCP-HPL improves the data download rate in environments with high packet loss. It is transparent for both sender and receiver TCP regarding the TCP s

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 69-72 / Este trabalho apresenta uma infra-estrutura descentralizada que possibilita a publicação de páginas na internet através das redes peer-to-peer. Diferentemente da forma utilizada para a publicação de páginas na internet atual, a abordagem proposta independ / This work presents a decentralized infrastructure which makes possible to publish Web pages on Internet through peer-to-peer networks. Different from the way used for publishing Web pages on the current internet, the proposed approach does not depend on n

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: p.71-79 / Este trabalho apresenta uma proposta de arquitetura para um sistema de detecção de intrusão baseado em anomalias que utiliza algoritmos de agrupamento para a detecção de ataques em servidores web. Os algoritmos de agrupamento são utilizados para criar mod / This paper presents a proposal of architecture for an anomaly based intrusion detection system where clustering algorithms are implemented to detect webservers attacks. The clustering algorithms are used to create intrusion detection models when training

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: p. 41-43 / Os novos padrões para redes locais sem fio e redes metropolitanas sem fio, como por exemplo os padrões IEEE 802.11 n ( WiFi ) e IEEE 802.16 ( Wimax ) utilizam as técnicas MIMO de maneira a propiciar serviços multimídia com altas taxas de transmissão. O pr / The standards to local wireless network and metropolitan wireless network, such as IEEE 802.11 n ( WiFi ) and IEEE 802.16 ( Wimax ) use MIMO technique to provide high rate multimidia service transmission. The transmission control protocol (TCP) is general

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f. 45-48 / Este trabalho de dissertação de mestrado apresenta uma nova alternativa em métricas de roteamento para as Wireless Mesh Networks de baixa mobilidade com tráfego VoIP. Foram desenvolvidas duas novas métricas de roteamento, primeiramente foi implementada a / This dissertation describes a new alternative in routing metrics for Wireless Mesh Networks with low mobility with VoIP traffic. Two new routing metrics were developed, firstly was implemented the Factor-K (FK) metric based in packet loss rates from nodes