✦ LIBER ✦

A formal logic approach to firewall packet filtering analysis and generation

✍ Scribed by John Govaerts; Arosha Bandara; Kevin Curran

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 462 KB
Volume: 29
Category: Article
ISSN: 0269-2821
DOI: 10.1007/s10462-009-9147-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A unified approach to the generation and

A unified approach to the generation and the acception of formal languages

✍ P. Deussen 📂 Article 📅 1978 🏛 Springer-Verlag 🌐 English ⚖ 511 KB

URDAD as a semi-formal approach to analy

URDAD as a semi-formal approach to analysis and design

✍ Fritz Solms; Dawid Loubser 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 539 KB

A generalized approach for modeling and

A generalized approach for modeling and analysis of ring-resonator performance as optical filter

✍ Sanjoy Mandal; Kamal Dasgupta; T.K. Basak; S.K. Ghosh 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 544 KB

A formal approach to the specification a

A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB

A formal and structured approach to the

A formal and structured approach to the use of task analysis in accident modelling

✍ R.M. BOTTING; C.W. JOHNSON 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Recent work (Telford & Johnson, 1996;Johnson, 1997), involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in

SubXPCA and a generalized feature partit

SubXPCA and a generalized feature partitioning approach to principal component analysis

✍ Kadappagari Vijaya Kumar; Atul Negi 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 342 KB