En el presente artículo el autor aborda la problemática de la eficacia jurídica práctica de los productos de la acción sindical internacional; es decir, de los acuerdos normativos que buscan regular la conducta de las empresas multinacionales frente a los trabajadores con los que se relacionan a nivel mundial, ya sea a través de una relación directa o indirecta. Este es un asunto que actualmente cobra vital importancia debido al fuerte entorno globalizado y a la presencia cada vez más preponderante de las empresas multinacionales. Finalmente, el autor nos brinda su punto de vista sobre las posibles soluciones que podrían adoptarse para que exista una eficacia jurídica adecuada de dichos instrumentos. In this article, the author addresses the issue of the practical legal efficacy of the products of international union actions: that is, the normative agreements whose purpose is to regulate the conduct of multinational firms that have relations with workers on a world-wide level, whether these relations are direct or indirect. This issue is currently of vital importance due to the strongly globalized world and the ever increasing presence of multinational firms. Finally, the author provides his point of view on the possible solutions that could be adopted in order to achieve the legal efficacy of these normative agreements.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-05-07T15:31:29Z No. of bitstreams: 1 2013_DinoMacedoAmaral.pdf: 5703112 bytes, checksum: 80101cbb06e3774e8a18678c5d2b4ea1 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-05-26T14:58:01Z (GMT) No. of bitstreams: 1 2013_DinoMacedoAmaral.pdf: 5703112 bytes, checksum: 80101cbb06e3774e8a18678c5d2b4ea1 (MD5) / Made available in DSpace on 2014-05-26T14:58:01Z (GMT). No. of bitstreams: 1 2013_DinoMacedoAmaral.pdf: 5703112 bytes, checksum: 80101cbb06e3774e8a18678c5d2b4ea1 (MD5) / A preocupação com os dados armazenados em um ambiente de Computação em Nuvem tem sido amplamente discutido. Entre os desafios, há o problema de garantir a integridade e recuperabilidade dos dados armazenados remotamente. Com o objetivo de preencher esta lacuna, a comunidade de criptografia tem proposto alguns conceitos, entre eles: PDP (Prova de Possessão de Dados), PoW (Prova de Propriedade) e PoR (Prova de Recuperabilidade). Neste documento, fie proposto um novo esquema de PoR: Hy-SAIL (Hyper-Scalability, Availability and Integrity Layer). Nesta proposta, um PoR fie projetado e implementado usando Online Codes, um caso especial de Fountain Codes, . Para executar as verificações de integridade, propriedades em um Corpo de Galois, GF(2n), são usadas para construir um MAC com propriedade XOR homomórfica. Foi demonstrado que o Hy-SAIL é um sistema criptográfico seguro e escalável para fornecer disponibilidade dos dados armazenados remotamente, atendendo fias exigências no que tange fias complexidades de comunicação, armazenamento e processamento. Para tanto, apresenta-se um novo modelo adversarial que concentra as principais funcionalidades de um adversário realístico para ambientes de Computação em Nuvem, chamado de Modelo de Corrupção Limitada. É provado analiticamente que o Hy-SAIL possui segurança demonstrável nesse modelo adversarial, e que a probabilidade de ataque à este esquema é assintonticamente desprezível. São mostrados também os resultados experimentais coletados da implementação do Hy-SAIL, confirmando a prova analítica. _______________________________________________________________________________________ ABSTRACT / Cloud computing has gained increasing attention from the industry and research communities. Despite the crucial benefits provided by this new paradigm, some numerous challenges arise. The concern about data stored in the cloud computing environment has been widely discussed, in according to recents events shown in the international media. Among these challenges, there is the problem of ensuring the integrity and retrievability of users' data stored in the cloud. Many definitions has been proposed: PDP (Proof of Data Possession), PoR (Proof of Retrievability), PoW (Proof of Ownership). The difference among them reside in the guarantee to retrieve the data stored remotely. In this paper, we propose a novel cryptographic system: Hy-SAIL (Hyper-Scalability, Availability and Integrity Layer). In the proposed protocol, a new PoR scheme is built using an Online Codes, a special case of Fountain Codes, as building blocks which adds a higher degree of availability of stored data. To perform integrity checks, properties in Galois Field, GF(2n), is used to build a MAC with XOR homomorphic property. It is demonstrated that Hy-SAIL leads to an efficient and scalable cryptographic system that meets near-optimal bounds in the communication, storage and time complexities. Finally, the Bounded Corruption Model, a new adversarial model that aggregates the main functionalities of a realistic adversary in cloud computing environments is proposed. It is proved that Hy-SAIL has provable security in this new approach. It is also shown the results collected of an unoptimized implementation.

Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2016-10-04T12:51:12Z No. of bitstreams: 1 PDF - Josemberg dos Santos Silva.pdf: 1121305 bytes, checksum: 92540058586a498be93dd4935979151b (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2016-10-17T13:32:29Z (GMT) No. of bitstreams: 1 PDF - Josemberg dos Santos Silva.pdf: 1121305 bytes, checksum: 92540058586a498be93dd4935979151b (MD5) / Made available in DSpace on 2016-10-17T13:32:47Z (GMT). No. of bitstreams: 1 PDF - Josemberg dos Santos Silva.pdf: 1121305 bytes, checksum: 92540058586a498be93dd4935979151b (MD5) Previous issue date: 2016-08-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Within the context of designing a digital communication scheme, it is necessary to establish procedures to safeguard the confidentiality of data sent by electronic messages. In this sense, Coding Theory plays a central role. Since its development over the years, it has enabled the advancement of new electronic communication techniques with greater security. In particular, Cryptography that employs elements of Coding Theory has been increasingly employed and used every time a digital message is transmitted, in such a way that only the sender and the legitimate recipient may know its contents. It is within this process that we contemplate some concepts of Elementary Number Theory, which are the basis for the mathematical foundation necessary for the development of elements of Cryptography. Consequently, in this paper, we present some necessary results of the Number Theory to present some cryptographic methods. / Dentro do contexto de projetar esquema de comunicação digital, é necessário estabelecer um procedimento que permita o sigilo dos dados enviados por meio de mensagens eletrônicas. Nesta direção, a Teoria dos Códigos desempenha um papel central, pois seu desenvolvimento ao longo dos anos possibilitou o avanço de novas técnicas de comunicação eletrônica com maior segurança. Em particular, a Criptografia, que emprega elementos da Teoria dos Códigos, tem sido empregada cada vez mais e usada todas as vezes que se deseja transmitir uma mensagem digital, na qual apenas o remetente é o legítimo destinatário possam conhecer seu conteúdo. E neste processo que consideramos alguns conceitos da Teoria Elementar dos Números, que são base para a fundamentação matemática necessária para o desenvolvimento de elementos da Criptografia. A partir disso, apresentamos neste trabalho alguns resultados necessários da Teoria dos Números de modo a apresentar alguns métodos criptográficos.

Orientador: Max Henrique Machado Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-10T14:06:01Z (GMT). No. of bitstreams: 1 DeFigueiredo_DimitridoBrasil_M.pdf: 983746 bytes, checksum: 9824cbf558e07c227466e49a4d8ef169 (MD5) Previous issue date: 2001 / Resumo: Este trabalho tem como objetivo o estudo de marcas d¿água digitais robustas. Uma marca d¿água digital robusta não pode ser facilmente retirada sem comprometer a qualidade do sinal no qual está inserida. A inserção de uma marca d¿água robusta em um sinal digital pode ser utilizada para estabelecer uma ligação permanente entre o sinal digital e seu proprietário. Em um sistema de marca d¿água digital assimétrico a capacidade de detectar uma marca não implica na capacidade de retirá-la. Estes sistemas têm, portanto, uma maior flexibilidade. Neste trabalho são estabelecidas algumas considerações importantes para a derivação de um sistema de marca d¿água robusto e assimétrico. Em seguida, utilizando-se das mesmas e da distância de Hamming como medida de distorção, propõe-se um método assimétrico de inserção de marcas d¿água. O método utiliza conhecimento do sinal para transmitir a maior quantidade de informação possível. São derivadas algumas condições que quando satisfeitas tornam o método seguro contra qualquer forma de ataque / Abstract: A robust digital watermark cannot be removed from the marked signal without compromising its quality. Thus, these watermarks can be used to establish a permanent link between the watermarked signal and its owner. Asymmetric watermarking schemes have a wider range of applications than symmetric ones. In such systems, the ability to detect the watermark does not provide the means which would enable an attacker to also remove the watermark. In this thesis, a few rules-of-thumb for robust asymmetric watermarking schemes are established and a new scheme is proposed. The Hamming distance is chosen as the distortion measure throughout. The proposed scheme uses information about the signal to be watermarked to maximize the embedded information rate. Also, the necessary conditions for the scheme to become secure against an arbitrary distortion attack are established. / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-06T15:33:11Z No. of bitstreams: 2 Dissertação de Mestrado - Análise de Códigos LDPC ... - Pedro Melo.pdf: 833849 bytes, checksum: da72453652b3de16d9c3b3abc49d270c (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T15:33:11Z (GMT). No. of bitstreams: 2 Dissertação de Mestrado - Análise de Códigos LDPC ... - Pedro Melo.pdf: 833849 bytes, checksum: da72453652b3de16d9c3b3abc49d270c (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-08-03 / Um canal de comunicação discreto não binário e com memória é apresentado com o objetivo de capturar tanto a informação de decisão suave quanto a correlação temporal de um canal com desvanecimento (DFC) quantizado em 2q níveis de quantização. Mostra-se que o canal discreto pode ser descrito explicitamente em termos de seu processo de entrada binário e processo de ruído 2q-ário. Também é mostrado que o canal é simétrico e admite uma expressão simples para sua capacidade de canal. O processo de ruído é então modelado como um modelo baseado em fila (QB), produzindo uma fonte de ruído markoviano estacionário e ergódico de ordem M com 2q + 2 parâmetros. O DFC é aproximado pelo canal discreto com ruído QB, cujos parâmetros são estimados por um processo iterativo que minimiza a divergência de Kullback-Leibler entre as fontes de ruído do DFC e QB. Os modelos obtidos são usados em esquemas de decodificação LDPC desenvolvidos para o canal discreto com ruído QB, em que se observa um ganho de decodificação quando comparado ao caso sem memória.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-30T21:29:35Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Igor de Moura Leite Moreira.pdf: 1207111 bytes, checksum: 91beb37d44e732fb242888a5f6298ea0 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-17T20:57:19Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Igor de Moura Leite Moreira.pdf: 1207111 bytes, checksum: 91beb37d44e732fb242888a5f6298ea0 (MD5) / Made available in DSpace on 2018-09-17T20:57:20Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Igor de Moura Leite Moreira.pdf: 1207111 bytes, checksum: 91beb37d44e732fb242888a5f6298ea0 (MD5) Previous issue date: 2017-07-04 / Canais de estados finitos markovianos (FSMC, finite-state Markov channels)têm sido usados para modelar a transmissão de pacotes na camada física de sistemas de comunicação discretos com memória. Esta tese inicia-se com a comparação de dois métodos de estimação dos parâmetros de modelos FSMC, já utilizados na literatura, com um terceiro, a divergência de Kullback-Leibler,cujo emprego para este fim é uma proposição deste trabalho. A análise do desempenho dos modelos FSMC é realizada por meio de uma comparação de estatísticas geradas tanto pelo modelo quanto pelo sistema de comunicações discreto, sendo que a probabilidade de gerarem-se m erros em uma sequência de comprimento n é a estatística mais discutida, haja vista seu impacto no projeto e na análise de códigos corretores de erros. Técnicas combinatoriais, que empregam a teoria da numeração de sequências discretas, são utilizadas para o desenvolvimento de expressões de recorrência inéditas para o cálculo dessa estatística. Também avalia-se o desempenho da utilização de modelos FSMC para reproduzir o comportamento estatístico de um sistema de comunicações discreto baseado no padrão IEEE 802.11, com modulação OFDM (orthogonal frequency-division multiplexing) e desvanecimento seletivo em frequência, concatenando-se externamente um codificador Reed-Solomon. A aplicação de um entrelaçamento finito, que alia baixo impacto no atraso de processamento com limitação da memória, também é avaliada analiticamente com a inclusão do nível de entrelaçamento finito nas expressões desenvolvidas. Comparações com simulações computacionais comprovam que o modelamento proposto é preciso. Por fim, apresentam-se modelos FSMC com decisão suave, para reproduzir sistemas de comunicação discretos com codificação LDPC (low-density parity-check codes) e esquema de decodificação baseado no algoritmo soma-produto. / Finite-state Markov channels(FSMC) have been used for modeling packet transmission on the physical layer of discrete communication systems with memory. This thesis starts by comparing two methods already known in the literature for estimating the FSMC parameters, with a third one, the Kullback-Leibler divergence, whose use for this purpose is a proposal of this work. The performance analysis of the FSMC models is performed through a comparison of statistics generated by the model and the discrete communications system. The probability of generating up to m errors in a sequence of length n is the most discussed statistic, due to its impact on the design and analysis of error correcting codes on these channels. Combinatorial techniques, which employ the enumeration of discrete sequences, are used developing new recurrence expressions for this statistic. This work also evaluates the usage of FSMC models to reproduce the statistical behavior of a discrete communication system based on the IEEE 802.11 standard with OFDM (orthogonal frequency-division multiplexing) modulation and frequency selective fading. The insertion of a finite interleaving, which combines low processing delay with limited memory consumption, is analytically analyzed. Comparisons with computer simulations show that the proposed analysis is accurate. Finally, FSMC models with soft decision are presented to reproduce discrete communication systems with LDPC (low-density parity-check codes) coding and a decoding scheme based on the sum-product algorithm.

Orientador: Renato Baldini Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-17T02:17:07Z (GMT). No. of bitstreams: 1 Goncalves_MariaLeopoldinaMartinsNevesSeixas_M.pdf: 2201748 bytes, checksum: 3f3d1f237a11eabcf9d6c393f0ca0cce (MD5) Previous issue date: 2010 / Resumo: Esta dissertação aborda o estudo de códigos corretores de erro baseados em matrizes quaternárias esparsas, aplicadas em sistemas de transmissão OFDM. Os códigos LDPC (Low Density Parity Check) constituem uma importante família de códigos gerados a partir de matrizes de verificação esparsas e são considerados como uma das classes de códigos que apresentam melhor desempenho em sistemas de comunicação digital. Os códigos LDPC desenvolvidos sobre o anel Z4 são o grande foco deste trabalho e para efeito de comparação de desempenho é utilizado como referência o padrão proposto pelo SBTVD (Sistema Brasileiro de Televisão Digital). No sistema de TV Digital, o receptor deve ser robusto a vários tipos de canal. Para uma recepção fixa o canal pode ser influenciado pelo ruído AWGN (Aditive White Gaussian Noise), já para uma recepção móvel o sinal pode sofrer várias reflexões e refrações, o que é caracterizado pelas interferências do desvanecimento plano e/ou seletivo. Para minimizar este problema é proposto a utilização da técnica de transmissão OFDM (Orthogonal Frequency Division Multiplexing), devido às suas vantagens com canais seletivos em frequência, como é comumente observado nos canais dos sistemas de comunicações móveis digitais. A decodificação dos códigos é feita utilizando uma adaptação (generalização) do algoritmo SISO (Soft Input Soft Output) proposto por P. Farrell e J. Moreira [39], [5]. É feita uma análise comparativa dos códigos do ponto de vista do desempenho, através de simulação de códigos de diferentes comprimentos para cada um dos três canais descritos acima. Os códigos LDPC definidos sobre Z4 apresentam bom desempenho e demonstram ser bons candidatos a sua utilização em conjunto com sistemas OFDM / Abstract: This dissertation addresses the study of error correcting codes based on sparse non-binary matrices. The LDPC (Low Density Parity Check) codes constitute a efficient family of codes generated by sparse parity check matrices and it is considered as one of the classes of codes that presents the best performance in digital communications systems. LDPC codes over the ring of integers modulo-4 (Z4) are the main focus of this work. The standard proposed by SBTVD (Brazilian Digital Television System) is used as reference for performance comparisons. It is proposed the substitution of the inner code in the channel encoding at the transmitter, for a LDPC code. On Digital TV system, the receiver must be robust to some kinds of interferences. For a fixed channel, the receiving end is basically influenced by the AWGN (Additive White Gaussian Noise). For mobile channels, the signal suffers reflections and refractions, which can be characterized as flat and frequency-selective fading. To minimize those interferences it is proposed the associated use of the OFDM (Orthogonal Frequency Division Multiplexing) technique. The decoding process is based on a generalization of the SISO (Soft Input Soft Output) algorithm proposed by P. Farrell and J. Moreira [39], [5]. A comparative analysis of the LDPC codes is made based on BER performance and on computational complexity. Finally, the simulation results for different codes lengths are presented, highlighted the significantive improvement in performance for LDPC codes / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T08:08:11Z (GMT). No. of bitstreams: 1 Sharma_Manish_M.pdf: 1001397 bytes, checksum: 04250e6b88e19bb784d3b68313ace258 (MD5) Previous issue date: 2006 / Resumo: Nesta dissertação abordamos o problema de como construir codificadores bit-geometricamente uniformes (BGU) para a utilização como codificadores internos em sistemas com concatenação serial de códigos. A utilização destes codificadores implica na facilidade de determinação de parâmetros necessários para a análise do desempenho dos sistemas. Há um grande controle sobre estes parâmetros no projeto destes codificadores utilizando o método descrito neste trabalho, o que sugere que bons codificadores e conseqüentemente bons sistemas podem ser obtidos desta maneira. Além disso, os códigos gerados por estes codificadores possuem a propriedade de uniformidade de erro de bit, o que facilita bastante sua análise / Abstract: This thesis approaches the problem of building bit-geometrically uniform (BGU) encoders to be used as inner encoders in systems with serially concatenated codes. By using this type of encoders, certain parameters that are used to analyze the system's performance are easily determined. There is a great control over these parameters when building encoders using the method described in this work, suggesting that good encoders and subsequently good systems can be obtained. Besides, the codes generated by these encoders posses the uniform bit error property, that greatly facilitates their analysis / Mestrado / Engenharia de Telecomunicações / Mestre em Engenharia Elétrica

Orientador: Jose Plinio de Oliveira Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatisitca e Computação Cientifica / Made available in DSpace on 2018-08-06T23:31:58Z (GMT). No. of bitstreams: 1 Alegri_Mateus_M.pdf: 858876 bytes, checksum: ff48274e36a7a886794139ed3337dee8 (MD5) Previous issue date: 2006 / Resumo: Neste trabalho estudaremos a estrutura dos quadrados latinos sob ponto de vista da matemática discreta. Faremos uma série de equivalências com outras estruturas tais como Teoria dos Grafos, Grupos, e sempre enfocando questões enumerativas. Certas propriedades de quadrados latinos, tais como ortogonalidade vão trabalhadas. E encerraremos com aplicações a teoria dos códigos algébricos. Palavras chave: quadrados latinos; Quadrados latinos mutualmente ortogonais; MOLS; hipercubos; códigos MDS / Abstract: In this work, we study the structure of latin squares on the discrete mathematics viewpoint. We do a lot of equivalences with some others structures, such that Graph theory, Groups, e ever we loking enumeration questions. Certains proprieties of latin squares, such ortogonality will be worked. And we finish with aplications to the Algebric Code Theory / Mestrado / Matematica Discreta / Mestre em Matemática Aplicada

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T03:01:06Z (GMT). No. of bitstreams: 1 Zurba_LeiladoCanto_M.pdf: 4413271 bytes, checksum: cd79296092921a5d66cfa81c0c068835 (MD5) Previous issue date: 1995 / Resumo: Este trabalho propõe um esquema de modulação codificada para um sistema rádio digital com taxa de transmissão de 51 Mbits/seg. A principal restrição imposta ao projeto é a máxima redundância permitida, que é de 5%. Foi adotada a técnica de Modulação Codificada de Bloco (BCM), com códigos binários e decodificação multiestágio com decisão suave. Os canais foram supostos sujeitos a ruído aditivo Gaussiano branco (AWGN). Uma análise prévia dos ganhos esperados e considerações sobre aforte restrição de redundância levaram à escolha do esquema de codificação, que utiliza códigos de Reed Muller de comprimento 32 em 2 dos 5 níveis, sobre uma constelação 32-QAM e apresentam a propriedade de serem códigos invariantes à rotação defase. Um modelo teórico de cálculo da probabilidade de erro para esquemas BCM permitiu a previsão dos ganhos esperados para este esquema. Finalmente, são apresentados resultados de simulaçãoes que caracterizam considerável ganho de codificação às custas de um moderado custo extra de implementação e baixa redundância, quando comparado a esquemas 32-QAM não codificados / Abstract: Not informed. / Mestrado / Eletronica e Comunicações / Mestre em Engenharia Elétrica