Amanote Research

Amanote Research

    RegisterSign In

A Declarative Framework for Intrusion Analysis

Cyber Situational Awareness
doi 10.1007/978-1-4419-0140-8_9
Full Text
Open PDF
Abstract

Available in full text

Date

September 30, 2009

Authors
Matt FredriksonMihai ChristodorescuJonathon GiffinSomesh Jhas
Publisher

Springer US


Related search

DeCo: A Declarative Coordination Framework for Scientific Model Federations

English

A Temporal Logic Based Framework for Intrusion Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Development of a Legal Framework for Intrusion Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Developing a Declarative Analysis Language: LINQToROOT

EPJ Web of Conferences
AstronomyPhysics
2019English

COLIDE: A Collaborative Intrusion Detection Framework for Internet of Things

IET Networks
ControlCommunicationsComputer NetworksManagement ScienceOptimizationOperations Research
2019English

Toward an Integrated Framework for Declarative and Interactive Spreadsheet Debugging

2013English

A Framework for Cost-Sensitive Automated Selection of Intrusion Response

English

A Framework for Preemption Analysis

Yale Law Journal
Law
1978English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy