Repositorio de producción científica de la Universidad de Sevilla

Modeling and Analysis of Firewalls by (Tissue-like) P Systems

Opened Access Modeling and Analysis of Firewalls by (Tissue-like) P Systems
Estadísticas
Icon
Exportar a
Autor: Leporati, Alberto
Ferretti, Claudio
Fecha: 2010
Publicado en: Proceedings of the Eighth Brainstorming Week on Membrane Computing, 177-188. Sevilla, E.T.S. de Ingeniería Informática, 1-5 de Febrero, 2010
ISBN/ISSN: 9788461423576
Tipo de documento: Ponencia
Resumen: We propose to use tissue-like P systems as a tool to model and analyse the security properties of ¯rewall systems. The idea comes from a clear analogy between firewall rules and P systems rules: they both modify and or move objects (data packets, or symbols of an alphabet) among the regions of the system. The use of P systems for modeling packet filters, routers and firewalls gives the possibility to check - and possibly mathematically prove - some security properties.
Tamaño: 191.2Kb
Formato: PDF

URI: http://hdl.handle.net/11441/39060

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones