scientific article; zbMATH DE number 2209347

zbMATH Open1070.68525MaRDI QIDQ5692292FDOQ5692292

Authors: Alessandra Mileo, Alessandro Provetti, Elisa Bertino 

Publication date: 28 September 2005

Title of this publication is not available (Why is that?)

Recommendations

• What packets may come: automata for network monitoring
• PDL with negation of atomic programs
• Automated Reasoning
• Netpdl: an extensible XML-based language for packet header description
• ADL: An activity description language for real-time networks

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (2)

• Stable Models for Temporal Theories
• Qualitative Constraint Enforcement in Advanced Policy Specification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5692292)