scientific article; zbMATH DE number 2209347

MaRDI QIDQ5692292zbMATH OpenFDO

Authors Alessandra Mileo, Alessandro Provetti, Elisa Bertino

Publication date 28 September 2005

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

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

Cited in

(2)

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

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)