Memorias de investigación
Capítulo de libro:
Formal Treatment of Secure Protocols.
Año:2008

Áreas de investigación
  • Lenguaje de programación

Datos
Descripción
Network security is concerned with creating a secure inter-connected network that is designed so that on the one hand, users cannot perform actions that they are not allowed to perform, but on the other hand, can perform the actions that they are allowed to. Network security not only involves specifying and implementing a security policy that describes access control, but also implementing an Intrusion Detection System as a tool for detecting attempted attacks or intrusions by crackers or automated attack tools and identifying security breaches such as incoming shellcode, viruses, worms, malware and trojan horses transmitted via a computer system or network. Today’s computer infrastructure is exposed to several kinds of security threats ranging from virus attacks, unauthorised data access, sniffing and password cracking. Understanding network vulnerabilities in order to protect networks from external and internal threats is vital to the world’s economy and should be given the highest priority. Computer and network security involves many important and complicated issues and this gathering of scientists will help not only in raising awareness but also in teaching participants the state-of-the-art of security techniques. Topics in network security, information security and coding are discussed in this volume.
Internacional
Si
DOI
Edición del Libro
0
Editorial del Libro
IOS Press
ISBN
978-1-58603-856-4
Serie
Título del Libro
Aspects of Network and Information Security.
Desde página
74
Hasta página
91

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: Danny Krizanc
  • Autor: James Lipton . UPM

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software