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 ¯lters, routers and firewalls gives the possibility to check - and possibly mathematically prove - some security properties.
Leporati, A., Ferretti, C. (2010). Modeling and Analysis of Firewalls by (Tissue-like) P Systems. ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 13(2), 169-180.
Modeling and Analysis of Firewalls by (Tissue-like) P Systems
LEPORATI, ALBERTO OTTAVIO;FERRETTI, CLAUDIO
2010
Abstract
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 ¯lters, routers and firewalls gives the possibility to check - and possibly mathematically prove - some security properties.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
