Você está na página 1de 21

INFORMAO, CODIFICAO

E SEGURANA DE REDES

Marcelo Sampaio de Alencar

Informao, Codificao e Segurana de Redes


Informao, Codificao e Segurana de Redes
INFORMAO, CODIFICAO
E SEGURANA DE REDES
Marcelo Sampaio de Alencar

Informao, Codificao e Segurana de Redes


c
2015, Elsevier Editora Ltda.
Todos os direitos reservados e protegidos pela Lei 9.610 de 19/02/1998.
Nenhuma parte deste livro, sem autorizao prvia por escrito da editora, poder ser reproduzida ou transmitida
sejam quais forem os meios empregados: eletrnicos, mecnicos, fotogrficos, gravao ou quaisquer outros.

ISBN: 978-85-352-8184-2

Copidesque: Wilton Fernandes Palha


Reviso tipogrfica: Adriana Patricio

Elsevier Editora Ltda.


Conhecimento sem Fronteiras
Rua Sete de Setembro, 111 16o andar
20050-006 Centro Rio de Janeiro RJ

Rua Quintana, 753 8o andar


04569-011 Brooklin So Paulo SP

Servio de Atendimento ao Cliente


0800 026 53 40
atendimento1@elsevier.com

Consulte nosso catlogo completo, os ltimos lanamentos e os servios exclusivos no site


www.elsevier.com.br

NOTA
Muito zelo e tcnica foram empregados na edio desta obra. No entanto, podem ocorrer erros de digitao,
impresso ou dvida conceitual. Em qualquer das hipteses, solicitamos a comunicao ao nosso servio
de Atendimento ao Cliente para que possamos esclarecer ou encaminhar a questo. Para todos os efeitos
legais, nem a editora, nem os autores, nem os editores, nem os tradutores, nem os revisores ou colaboradores,
assumem qualquer responsabilidade por qualquer efeito danoso e/ou malefcio a pessoas ou propriedades
envolvendo responsabilidade, negligncia etc. de produtos, ou advindos de qualquer uso ou emprego de
quaisquer mtodos, produtos, instrues ou ideias contidos no material aqui publicado.

A Editora

CIP-BRASIL. CATALOGAO-NA-FONTE
SINDICATO NACIONAL DOS EDITORES DE LIVROS, RJ

xxxx Alencar, Marcelo Sampaio de

Informao, Codificao e Segurana de Redes


/ Marcelo Sampaio de Alencar. - 1. ed. - Rio de Janeiro: Elsevier, 2015.
: il. ; 24 cm.

ISBN 978-85-352-8184-2

1. Tema 1. 2. Tema 2. I. Autor 3. II. Ttulo.

xx-xxxxx CDD: xxx.xxxx


CDU: xxx.x

Informao, Codificao e Segurana de Redes


Dedico esta obra aos meu filhos, Thiago, Raphael e
Marcella, razo de minha vida e existncia futura.

Marcelo Sampaio de Alencar

Informao, Codificao e Segurana de Redes


Informao, Codificao e Segurana de Redes
Apresentao da Srie
SBrT/Elsevier

Ao longo dos anos a Sociedade Brasileira de Telecomunicaes (SBrT), institu-


io sem fins lucrativos, promove a difuso do conhecimento na rea de telecomuni-
caes no Brasil. Nesse sentido, a SBrT realiza anualmente o Simpsio Brasileiro de
Telecomunicaes e, a intervalos de quatro anos, o International Telecommunications
Symposium.
Esses eventos so oportunidades de divulgao e de fortalecimento da pesquisa
brasileira na rea de telecomunicaes e reas correlatas. Alm disso, a SBrT publica
a revista Journal of Communications and Information Systems (JCIS), com trabalhos
inovadores de interesse internacional, selecionados por especialistas.
Em complementao aos eventos cientficos organizados pela SBrT e publi-
cao da revista JCIS, a Srie SBrT/Elsevier objetiva o lanamento de livros voltados
para a disseminao de conhecimento na rea de engenharia eltrica e telecomuni-
caes. A srie inclui livros-texto, destinados formao de estudantes de cursos
de graduao e de ps-graduao, com material didtico alinhado com o contedo
programtico das universidades brasileiras, bem como livros que se aprofundam em
tpicos especficos, destinados a alunos de ps-graduao, pesquisadores e profis-
sionais da rea. A Srie SBrT/Elsevier uma demonstrao do amadurecimento da
comunidade cientfica brasileira na rea de telecomunicaes, tanto na formao de
recursos humanos qualificados, como na produo de pesquisa cientfica.

Campinas, 2015.

Prof. Paulo Cardieri


Presidente da Sociedade Brasileira de Telecomunicaes (SBrT)

Informao, Codificao e Segurana de Redes


Informao, Codificao e Segurana de Redes
Sobre o Autor

Marcelo Sampaio de Alencar, filho de Jos I Sampaio de Alencar e Gilvoneide


Sampaio de Alencar, nasceu em Serrita, Pernambuco, em 1957. Formou-se em En-
genharia Eltrica pela Universidade Federal de Pernambuco, em 1980, recebeu o t-
tulo de mestre em Engenharia Eltrica pela Universidade Federal da Paraba, em 1988
e o de Ph.D. em Engenharia Eltrica pela University of Waterloo, Canad, em 1994.
No perodo de 1982 a 1984, trabalhou na Faculdade de Engenharia da Universidade
para o Desenvolvimento do Estado de Santa Catarina, onde foi Membro Titular do
Conselho Universitrio e vice-presidente da Associao dos Professores. Entre 1984
e 2002, trabalhou no Departamento de Engenharia Eltrica da Universidade Federal
da Paraba (UFPB). Desde 2002, trabalha no Departamento de Engenharia Eltrica
da Universidade Federal de Campina Grande (UFCG), no cargo de Professor Titular.

Figura 1: Marcelo Sampaio de Alencar, o autor.

Informao, Codificao e Segurana de Redes


Exerceu os cargos de presidente da Comisso de Ascenso para Avaliao de
Desempenho Acadmico de Docente do CEEI, UFCG, vice-coordenador do Curso
de Engenharia Eltrica, Assessor de Extenso do Centro de Cincias e Tecnologia,
presidente da Comisso de Extenso do Centro de Cincias e Tecnologia da UFPB e
membro do Comit Assessor de Extenso da Universidade Federal da Paraba. Atual-
mente Lder do Grupo de Comunicaes da UFCG, com cadastro no CNPq. Foi
Professor do Programa de Ps-Graduao da Universidade Federal de Pernambuco
(UFPE) e do Programa de Ps-Graduao Lato Sensu da Universidade Federal do
Maranho (UFMA). fundador do Laboratrio de Comunicaes (Labcom) do De-
partamento de Engenharia Eltrica da UFPB. Orientou cinco ps-doutorandos, oito
teses de doutorado, vinte dissertaes de mestrado e uma monografia de especializa-
o.
Trabalhou como consultor da Empresa Brasileira de Telecomunicaes (Embra-
tel), da Empresa de Telecomunicaes do Rio Grande do Norte (Telern), da Teleco-
municaes Brasileiras S. A. (Telebras), da Companhia Hidroeltrica do So Fran-
cisco (Chesf), da Siemens, da Bell Mobility Canada, da Contol, da Tele Nordeste
Celular Participaes S.A. (TIM), do Conselho Nacional de Desenvolvimento Cien-
tfico e Tecnolgico (CNPq) da Financiadora de Estudos e Projetos (Finep) e da Por-
tuguese Foundation for Science and Technology (FCT), em diversos projetos, e foi
Coordenador dos convnios que a UFCG manteve com a Embratel, Telern, Chesf e
Atecel desde sua instituio. Foi coordenador do convnio entre a UFPB e a Universi-
dade do Estado da Califrnia (CSU). Membro do Comit de Avaliao de Professores
(CAC) da FEEC Unicamp, entre 2004 e 2006.
Marcelo S. Alencar fundador e presidente do Instituto de Estudos Avanados
em Comunicaes (Iecom). Em 1989, trabalhou na Diviso Regional de Engenharia
da Embratel, em Recife. Foi Diretor da Sociedade Brasileira de Telecomunicaes
(SBrT), membro do Conselho Deliberativo e , atualmente, vice-presidente para Re-
laes Externas. Membro da Sociedade Brasileira de Micro-ondas (SBMO), da So-
ciedade Brasileira de Engenharia Biomdica (SBEB), Scio Adjunto da Associao
Sociedade Brasileira de Jornalismo Cientfico (ABJC), Senior Member do Instituto
dos Engenheiros Eletricistas e Eletrnicos (IEEE).
Integrou a Comisso Organizadora do VI Simpsio Brasileiro de Telecomuni-
caes, em 1988, o International Advisory Committee do International Symposium
on Personal, Indoor and Mobile Radio Communications (PIMRC95), da 12th In-
ternational Conference on Telecommunications (ICT 2005), a Comisso de Pro-
grama Tcnico de diversas edies do Simpsio Brasileiro de Telecomunicaes e a
Global Communications Conference (Globecom99). Coordenador Tcnico do Inter-
national Telecommunication Symposium (ITS 2002), da IEEE International Commu-
nications Conference (ICC2002), da 5th International Conference on Wireless Per-
sonal Multimidia Communications (WPMC02), do Simpsio Brasileiro de Micro-
Ondas e Optoeletrnica (SBMO 2002), da IEEE Global Communications Confe-
rence (Globecom03), da International Microwave and Optoelectronics Conference

Informao, Codificao e Segurana de Redes


(IMOC 2003), da IEEE International Communications Conference (ICC2004), do
Wireless Communications Symposium, da Global Communications Conference (Glo-
becom03).
Participou ainda da organizao da IEEE Wireless Communications and Net-
working Conference (WCNC2004), do International Workshop on Telecommuni-
cations (IWT 2004), da International Wireless Communications and Computing
Conference (IWCCC 2006), do XXXIII Congresso Brasileiro de Ensino de Engenha-
ria (COBENGE 2005), do Advanced Industrial Conference on Telecommunications
(AICT 2006), do International Workshop on Telecommunications (IWT 2007), do
XII Simpsio Brasileiro de Micro-Ondas e Optoeletrnica (MOMAG 2006), do 8th
International Symposium on Systems and Information Security (SSI2006), do Third
Advanced International Conference on Telecommunications (AICT07), da The First
International Conference on Mobile Ubiquitous Computing, Systems, Services, and
Technologies (UBICOMM 2007), da Fourth Advanced International Conference on
Telecommunications (AICT 2008), da International Microwave and Optoelectronics
Conference (IMOC 2007), da Wireless Communications & Networking Conference
(WCNC 2008), do Technical Committee do International Workshop on Telecommuni-
cations (IWT 2009), da 2009 IEEE Wireless Communications and Networking Con-
ference (WCNC 2009), da 16th International Conference on Telecommunications
(ICT09) e da The First International Conference on Advances in Future Internet
(AFIN 2009).
Coordenador Geral do The 13th International Symposium on Wireless Personal
Multimedia Communications (WPMC10). Vice-coordenador do The 9th IEEE In-
ternational Symposium on Spread Spectrum Techniques and Applications (ISSSTA
2006) e do International Program Committee da The Second International Confe-
rence on Mobile Ubiquitous Computing, Systems, Services, and Technologies (UBI-
COMM 2008). Membro do Comit de Organizao para Ligao International en-
volvendo a Amrica Central e a Amrica do Sul do 2004 IEEE Workshop on Signal
Processing Advances in Wireless Communications. Foi Coordenador Adjunto do XV
Simpsio Brasileiro de Telecomunicaes, em 1997, e do 2008 IEEE Workshop on
Signal Processing Advances in Wireless Communications (SPAWC 2008). Foi mem-
bro do Sister Society Board da IEEE Communications Society (ComSoc) e Liaison to
Latin America Societies da ComSoc.
Foi Professor Visitante no Departamento de Engenharia Eltrica e de Compu-
tao, Universidade de Toronto, entre julho e agosto de 1997. Revisor da revista
IEEE Transactions on Communications, da Revista Brasileira de Telecomunicaes,
da SBrT, da revista IEEE Transactions on Vehicular Technology, da revista Wireless
Personal Communications, da Kluwer Academic Publishers. Membro da Comis-
so Brasileira de Comunicaes 2 da Anatel e do Comit Consultivo do Sistema
Brasileiro de Televiso Digital do Ministrio das Comunicaes. Tem mais de 350
artigos publicados. Publicou mais de 350 artigos e entrevistas de divulgao cien-
tfica e tem dezenas de artigos e livros referenciados em publicaes nacionais e

Informao, Codificao e Segurana de Redes


internacionais.
Tem sua biografia includa nas publicaes Whos Who in the World, Whos Who
in Science and Engineering, publicado por Marquis Whos Who, New Providen-
ce, EUA. Relacionado no IEEE ComSoc Volunteer Leaders & Staff Directory. Foi
agraciado com a homenagem pelos 20 anos da SBrT, no XX Simpsio Brasileiro
de Telecomunicaes (SBT 2003). Recebeu o II Prmio Da Conceio, na catego-
ria Destaque Projeto de Pesquisa. Recebeu o prmio de destaque da Engenharia e
Geocincias, na qualidade de Engenheiro, pelo Centro de Tecnologia e Geocincias,
Faculdade de Engenharia de Pernambuco, no ano de comemorao de 110 anos de
fundao da Escola de Engenharia de Pernambuco. Foi membro do Comit Con-
sultivo do Sistema Brasileiro de Televiso Digital, Ministrio das Comunicaes,
considerado servio relevante ao governo federal. Foi agraciado com o Diploma
de Agradecimento da Escola de Comunicaes do Exrcito Brasileiro. Foi home-
nageado pela Sociedade Brasileira de Micro-ondas e Optoeletrnica (SBMO) com a
Medalha de Mrito Acadmico Professor Attlio Jos Giarola. Recebeu uma home-
nagem pela brilhante atuao na produo e transmisso de conhecimento na rea de
Cincia e Tecnologia da Comisso Organizadora dos Eventos da Comemorao de
150 Anos de Emancipao Poltica do Municpio de Campina Grande. Teve recon-
hecido o Notrio Saber, pelo Conselho de Pesquisa e Extenso (Consepe) da UFPB,
por meio de certido emitida em 21 de julho de 1995.
Marcelo Alencar autor dos livros Histria da Comunicao no Brasil, Sexo
Conexo, Soluos dAlma, Histria, Tecnologia e Legislao de Telecomunicaes e
Divulgao Cientfica, pela Editora e Grfica Epgraf, Teoria de Conjuntos, Medida
e Probabilidade, Probabilidade e Processos Estocsticos, Televiso Digital, Ondas
Eletromagnticas e Teoria de Antenas, Telefonia Celular Digital, Telefonia Digital e
Sistemas de Comunicaes, pela Editora rica Ltda., Princpios de Comunicaes,
pela Editora Universitria, UFPB, Digital Television Systems, pela Cambridge, Com-
munication Systems, pela Springer, Information Theory, pela Mommentum Press, e
do ensaio Historical Evolution of Telecommunications in Brazil, para a IEEE Foun-
dation. autor de captulos nos livros Communications, Information and Network
Security, Kluwer Academic Publishers, A Linguagem e a Comunicao entre Pes-
soas e Computadores, Editora Livro Rpido, A Linguagem e Suas Interfaces, Ed-
itora Livro Rpido, Em-TOM-Ao: A Prosdia em Perspectiva, Editora Univer-
sitria da UFPE, Jornalismo Cientfico e Educao para as Cincias, Editora Cabral
Universitria, Tecnologia da Informao TV Digital, pela Secretaria de Cincia,
Tecnologia e Inovao da Bahia. articulista do NE10, portal do Sistema Jornal
do Commercio de Comunicao, de Recife, no qual assina a coluna Difuso, de
divulgao cientfica, desde abril de 2000. Mais informao sobre o autor no site
www.difusaocientfica.com.

Informao, Codificao e Segurana de Redes


Agradecimentos

A publicao deste livro fruto do trabalho de muitos anos dedicados pelo autor
ao ensino, pesquisa e consultoria profissional a empresas, indstrias, alm de
agncias de fomento pesquisa no Brasil e no exterior.
O professor Marcelo Sampaio de Alencar agradece a oportunidade de ter tra-
balhado, por mais de trs dcadas, na Faculdade de Engenharia e Joinville da Uni-
versidade para o Desenvolvimento de Santa Catarina, no Departamento de Engen-
haria Eltrica da Universidade Federal de Campina Grande e no Instituto de Estudos
Avanados em Comunicaes.
Agradece ainda a cooperao de muitos anos com o Departamento de Eletrnica
e Sistemas da Universidade Federal de Pernambuco, com a Universidade Federal do
Semi-rido, com a Universidade Catlica de Pernambuco e com a Universidade de
Pernambuco.
Parte deste trabalho foi desenvolvida em cursos ministrados pelo autor na Uni-
versidade Federal de Campina Grande e em outras instituies de ensino superior.
O autor deve este livro compreenso e ao amor de sua esposa e de seus fil-
hos, que permitiram-lhe realizar o trabalho a partir de notas de aulas ministradas em
disciplinas de especializao, graduao e ps-graduao.
Leitores que queiram entrar em contato com o autor, seja para comentar ou fazer
crticas ao texto, podem utilizar os seguintes endereos:

Marcelo Sampaio de Alencar


Caixa Postal 547
58.400-971 Campina Grande PB
E. mail: malencar@dee.ufcg.edu.br

vii

Informao, Codificao e Segurana de Redes


Informao, Codificao e Segurana de Redes
Prefcio

A Teoria Matemtica da Informao evoluiu a partir dos trabalhos de Claude


Elwood Shannon e Andrei Nikolaevich Kolmogorov, no final da dcada de 1940,
tendo com base a Teoria de Probabilidade. Charles Sanders Peirce havia, no sculo
anterior, estabelecido os principais aspectos semnticos da comunicao, base atual
da Comunicao Social.
A dcada de 1950 viu florescer os princpios da Teoria da Codificao, para com-
pactao ou compresso de sinais de voz e de vdeo, alm de arquivos de dados, com
os trabalhos de David Huffman, Leon Kraft, Brockway McMillan, Abraham Lempel
e Jacob Ziv, entre outros pesquisadores.
A codificao tambm foi desenvolvida para proteo contra erros de transmisso
no canal, inicialmente com o trabalho de pesquisa de Richard Wesley Hamming,
Peter Elias, Irving Stoy Reed, Gustave Solomon, James Lee Massey, Andrew Viterbi,
entre outros.
O advento das redes de computadores, notadamente a Internet, com os traba-
lhos de Norman Abramson, Leonard Kleinrock, Vint Cerf, entre outros, permitiu a
interconexo de bilhes de computadores em todo o mundo, mas tambm possibi-
litou o aparecimento de criminosos dedicados a explorar a riqueza informacional e
financeira da rede mundial.
O livro dirigido aos estudantes e profissionais de Engenharia Eltrica, Com-
putao, Sistemas de Informao, Teleinformtica e Matemtica. Poucos livros tm
sido publicados contendo os assuntos tratados, e aqueles disponveis geralmente so
destinados a audincias muito especficas.

Descrio do Livro
O livro comea com a definio de medida da informao e entropia, no primeiro
captulo. O Captulo 2 trata de fontes de informao. A codificao de fonte discu-
tida no Captulo 3, no qual so apresentados os cdigos usuais. O Captulo 4 contm
os fundamentos para o clculo da capacidade de canais de comunicaes.
As tcnicas de espalhamento espectral, base de vrios sistemas de comunicaes
digitais modernos, so vistas no Captulo 5. Os conceitos fundamentais dos cdigos

ix

Informao, Codificao e Segurana de Redes


corretores de erros so tratados no Captulo 6. Os cdigos convolucionais aparecem
no Captulo 7.
Os princpios e a abordagem matemtica da criptografia, essenciais para a pro-
teo da informao, so o assunto do Captulo 8. O Captulo 9 discute a aplicao
da criptografia a redes de computadores, as alternativas para prevenir ataques e os
protocolos de segurana.
O livro tem um apndice sobre Probabilidades, com os principais resultados
necessrios ao entendimento da teoria. H vrios exerccios resolvidos e proble-
mas propostos, muitas referncias bibliogrficas e um ndice remissivo para facilitar
a consulta a tpicos especficos.

Informao, Codificao e Segurana de Redes


Sumrio

Prefcio ix

1 Teoria da Informao 1
1.1 Medida de Informao . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Requisitos para a Medida da Informao . . . . . . . . . . . . . . . 4
1.3 Medida de Informao Conjunta . . . . . . . . . . . . . . . . . . . 8
1.4 Entropia Condicional . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 A Entropia de Rnyi de Ordem . . . . . . . . . . . . . . . . . . . 10
1.5.1 A Entropia de Rnyi de Ordem e o Problema do Valor M-
nimo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5.2 A Entropia de Rnyi de Ordem e o Problema do Valor
Mximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 Claude Shannon e a Teoria da Informao . . . . . . . . . . . . . . 14
1.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

2 Fontes de Informao 17
2.1 Teorema da Codificao de Fonte . . . . . . . . . . . . . . . . . . . 17
2.2 Extenso de uma Fonte Discreta sem Memria . . . . . . . . . . . 19
2.2.1 Aumento da Eficincia da Codificao . . . . . . . . . . . . 19
2.3 Cdigo de Prefixo . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4 A Fsica e a Informao . . . . . . . . . . . . . . . . . . . . . . . . 23

3 Codificao de Fonte 27
3.1 Classificao dos Cdigos . . . . . . . . . . . . . . . . . . . . . . 27
3.1.1 Cdigos de Bloco . . . . . . . . . . . . . . . . . . . . . . . 27
3.1.2 Cdigos No Singulares . . . . . . . . . . . . . . . . . . . 28
3.1.3 Cdigos Univocamente Decodificveis . . . . . . . . . . . 28
3.1.4 Cdigos Instantneos . . . . . . . . . . . . . . . . . . . . . 29
3.2 Construo de Cdigos Instantneos . . . . . . . . . . . . . . . . . 31
3.3 A Desigualdade de Kraft . . . . . . . . . . . . . . . . . . . . . . . 33
3.4 O Cdigo de Huffman . . . . . . . . . . . . . . . . . . . . . . . . . 36

xi

Informao, Codificao e Segurana de Redes


3.4.1 A Construo do Cdigo de Huffman Binrio . . . . . . . . 37
3.5 Cdigo de Huffman Estendido . . . . . . . . . . . . . . . . . . . . 42
3.6 Cdigo de Huffman r-rio . . . . . . . . . . . . . . . . . . . . . . 43
3.6.1 Construo do Cdigo r-rio . . . . . . . . . . . . . . . . . 46
3.7 Cdigo de Tunstall . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.8 Informao e Complexidade . . . . . . . . . . . . . . . . . . . . . 49
3.9 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

4 Informao e Capacidade de Canais 55


4.1 Modelo de um Canal de Comunicaes . . . . . . . . . . . . . . . 55
4.2 Canal Discreto sem Rudo . . . . . . . . . . . . . . . . . . . . . . 56
4.3 Canal com Sada Independente da Entrada . . . . . . . . . . . . . . 57
4.4 Relaes entre as Entropias . . . . . . . . . . . . . . . . . . . . . . 58
4.5 Conceito de Informao Mtua . . . . . . . . . . . . . . . . . . . . 58
4.6 Capacidade do Canal . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.6.1 Capacidade do Canal Discreto sem Memria . . . . . . . . 62
4.6.2 Redundncia Relativa e Eficincia . . . . . . . . . . . . . . 69
4.7 Qual a Capacidade da Internet? . . . . . . . . . . . . . . . . . . . . 70
4.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

5 Tcnicas de Espalhamento Espectral 73


5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2 Espalhamento Espectral . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3 Fundamentos dos Sinais de Espectro Espalhado . . . . . . . . . . . 77
5.4 Probabilidade de Erro para Sistemas de Espectro Espalhado . . . . . 81
5.5 Acesso Mltiplo por Diviso em Cdigo . . . . . . . . . . . . . . . 84
5.5.1 Projeto de Sequncias . . . . . . . . . . . . . . . . . . . . 86
5.6 A Capacidade de um Sistema CDMA . . . . . . . . . . . . . . . . 92
5.7 A Regulamentao das Comunicaes . . . . . . . . . . . . . . . . 98
5.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

6 Cdigos Corretores de Erros 101


6.1 Conceitos Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
6.1.1 Cdigos Lineares e No Lineares . . . . . . . . . . . . . . 102
6.1.2 Cdigos de Bloco e Convolucionais . . . . . . . . . . . . . 102
6.2 Cdigos de Bloco . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.2.1 Representao Matricial . . . . . . . . . . . . . . . . . . . 104
6.2.2 Representao por Grficos de Tanner . . . . . . . . . . . . 105
6.2.3 Codificao Sistemtica e No Sistemtica . . . . . . . . . 106
6.2.4 Peso e Distncia de Hamming . . . . . . . . . . . . . . . . 109
6.2.5 Cdigos de Bloco Simples . . . . . . . . . . . . . . . . . . 112
6.3 Decodificao de Cdigos de Bloco . . . . . . . . . . . . . . . . . 114

xii

Informao, Codificao e Segurana de Redes


6.3.1 Decodificao por Sndromes de Erros . . . . . . . . . . . . 114
6.3.2 Decodificao por Mxima Verossimilhana . . . . . . . . . 116
6.3.3 Decodificao por Busca Sistemtica . . . . . . . . . . . . 117
6.3.4 Decodificao Probabilstica . . . . . . . . . . . . . . . . . 118
6.4 Cdigos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.4.1 Representao Matricial . . . . . . . . . . . . . . . . . . . 119
6.4.2 Codificador com Registradores de Deslocamento . . . . . . 120
6.4.3 Cdigos Lineares de Comprimento Mximo . . . . . . . . . 121
6.4.4 Cdigos BCH (Bose-Chaudhuri-Hocquenghem) . . . . . . 121
6.4.5 Cdigos Reed-Solomon . . . . . . . . . . . . . . . . . . . 122
6.4.6 Cdigos de Golay . . . . . . . . . . . . . . . . . . . . . . . 123
6.4.7 Cdigos Reed-Muller . . . . . . . . . . . . . . . . . . . . . 124
6.4.8 Cdigos Alternantes . . . . . . . . . . . . . . . . . . . . . 125
6.5 Decodificao de Cdigos Cclicos . . . . . . . . . . . . . . . . . . 127
6.5.1 Decodificador de Meggitt . . . . . . . . . . . . . . . . . . 127
6.5.2 Decodificador com Armadilha para Erros . . . . . . . . . . 128
6.5.3 Decodificao com Conjuntos de Informao . . . . . . . . 128
6.5.4 Decodificao de Limiar . . . . . . . . . . . . . . . . . . . 128
6.5.5 Decodificao Algbrica . . . . . . . . . . . . . . . . . . . 130
6.5.6 Decodificao com Deciso Suave . . . . . . . . . . . . . . 133
6.6 O Incio dos Cdigos Corretores de Erros . . . . . . . . . . . . . . 139
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140

7 Cdigos Convolucionais 143


7.1 Desenvolvimento da Codificao Convolucional . . . . . . . . . . . 143
7.2 Codificadores Convolucionais Lineares . . . . . . . . . . . . . . . 144
7.2.1 Representao dos Cdigos Convolucionais . . . . . . . . . 147
7.2.2 Decodificao dos Cdigos Convolucionais . . . . . . . . . 149
7.3 A Codificao para Transmisso Espacial . . . . . . . . . . . . . . 160
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163

8 Criptografia 165
8.1 Princpios da Criptografia . . . . . . . . . . . . . . . . . . . . . . . 167
8.2 Criptografia Terica . . . . . . . . . . . . . . . . . . . . . . . . . . 169
8.2.1 Relaes entre as Entropias . . . . . . . . . . . . . . . . . 170
8.3 Informao Mtua para Sistemas de Cifragem . . . . . . . . . . . . 171
8.4 Esteganografia Digital . . . . . . . . . . . . . . . . . . . . . . . . 173
8.4.1 Tipos de Esteganografia . . . . . . . . . . . . . . . . . . . 173
8.4.2 Distino entre Criptografia e Esteganografia . . . . . . . . 174
8.4.3 Aplicaes da Esteganografia Digital . . . . . . . . . . . . 174
8.5 Criptografia Ldica . . . . . . . . . . . . . . . . . . . . . . . . . . 175
8.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176

xiii

Informao, Codificao e Segurana de Redes


9 Segurana de Redes 179
9.1 Criptografia Aplicada a Redes de Computadores . . . . . . . . . . . 179
9.1.1 Potenciais Vulnerabilidades de Redes . . . . . . . . . . . . 180
9.1.2 Escuta, Alterao de Dados, Identidade Forjada . . . . . . . 180
9.1.3 Ataques Baseados em Senhas . . . . . . . . . . . . . . . . 181
9.1.4 Negao de Servio . . . . . . . . . . . . . . . . . . . . . . 181
9.1.5 Ataque por Quebra de Senha . . . . . . . . . . . . . . . . . 182
9.1.6 Ataque por Farejadores . . . . . . . . . . . . . . . . . . . . 182
9.1.7 Ataque Camada de Aplicao . . . . . . . . . . . . . . . 183
9.2 Alternativas para Prevenir Ataques . . . . . . . . . . . . . . . . . . 183
9.2.1 Tecnologias de Segurana . . . . . . . . . . . . . . . . . . 184
9.2.2 Mecanismos de Segurana para a Camada de Aplicao . . 184
9.2.3 Mecanismos de Segurana para a Camada de Transporte . . 185
9.2.4 Mecanismos de Segurana para a Camada de Rede . . . . . 185
9.3 Protocolo da Camada de Soquetes Segura . . . . . . . . . . . . . . 186
9.3.1 Cifragem Usada com SSL . . . . . . . . . . . . . . . . . . 188
9.4 Troca de Informaes para a Camada de Soquetes Segura . . . . . . 189
9.4.1 Autenticao do Servidor . . . . . . . . . . . . . . . . . . . 191
9.4.2 Ataque do Homem no Meio . . . . . . . . . . . . . . . . . 193
9.4.3 Autenticao do Cliente . . . . . . . . . . . . . . . . . . . 193
9.5 Proteo de Dados com IPsec . . . . . . . . . . . . . . . . . . . . . 195
9.5.1 Associaes de Segurana . . . . . . . . . . . . . . . . . . 196
9.5.2 Tunelamento . . . . . . . . . . . . . . . . . . . . . . . . . 197
9.5.3 Cabealho de Autenticao . . . . . . . . . . . . . . . . . . 198
9.5.4 Formato do Cabealho de Autenticao . . . . . . . . . . . 199
9.5.5 Cabealho de Autenticao nos Modos de Transporte e Tnel 201
9.5.6 AH no Modo Tnel . . . . . . . . . . . . . . . . . . . . . . 201
9.6 Carga de Segurana Encapsulada . . . . . . . . . . . . . . . . . . . 202
9.6.1 Formato de Pacote ESP . . . . . . . . . . . . . . . . . . . . 203
9.6.2 ESP no Modo de Transporte . . . . . . . . . . . . . . . . . 204
9.6.3 ESP no Modo Tnel . . . . . . . . . . . . . . . . . . . . . 205
9.7 Espionagem Entre Pases . . . . . . . . . . . . . . . . . . . . . . . 205
9.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206

A Teoria de Probabilidades 207


A.1 Teoria de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . 207
A.2 Operaes com Conjuntos . . . . . . . . . . . . . . . . . . . . . . 208
A.2.1 Definio de Funo . . . . . . . . . . . . . . . . . . . . . 210
A.2.2 Propriedades teis dos Conjuntos . . . . . . . . . . . . . . 214
A.3 Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 215
A.3.1 Funes Usuais para Famlias de Conjuntos . . . . . . . . . 217
A.3.2 Construo de Vetores e Sinais . . . . . . . . . . . . . . . . 218

xiv

Informao, Codificao e Segurana de Redes


A.3.3 Cardinalidade de Conjuntos . . . . . . . . . . . . . . . . . 218
A.4 lgebra de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 222
A.4.1 lgebra de Borel . . . . . . . . . . . . . . . . . . . . . . . 222
A.5 Espao Mensurvel . . . . . . . . . . . . . . . . . . . . . . . . . . 223
A.5.1 Medida de Probabilidade . . . . . . . . . . . . . . . . . . . 224
A.5.2 Medida com o Uso da Integral de Riemann . . . . . . . . . 224
A.5.3 Medida com o Uso da Integral de Lebesgue . . . . . . . . . 225
A.6 Abordagem Axiomtica da Probabilidade . . . . . . . . . . . . . . 227
A.7 Teorema de Bayes . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
A.8 Definio de Varivel Aleatria . . . . . . . . . . . . . . . . . . . . 231
A.9 Funo Cumulativa de Probabilidade . . . . . . . . . . . . . . . . . 232
A.10 Estatsticas de uma Varivel Aleatria . . . . . . . . . . . . . . . . 234
A.10.1 Propriedades das Mdias Estatsticas . . . . . . . . . . . . . 235
A.10.2 A Distribuio de Gauss . . . . . . . . . . . . . . . . . . . 236
A.11 Distribuies Discretas . . . . . . . . . . . . . . . . . . . . . . . . 237
A.12 Aplicao da Distribuio Condicional . . . . . . . . . . . . . . . . 239

Referncias Bibliogrficas 241

ndice Remissivo 251

xv

Informao, Codificao e Segurana de Redes