61 citations · 108 across the 13 of their papers we have counts for
4 papers · 2 filters
Poseidon: a 2-tier Anomaly-based Intrusion Detection System
Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle +1
We present Poseidon, a new anomaly based intrusion detection system. Poseidon is payload-based, and presents a two-tier architecture: the first stage consists of a Self-Organizing…
Integrity Constraints in Trust Management
Sandro Etalle, William H. Winsborough
We introduce the use, monitoring, and enforcement of integrity constraints in trust management-style authorization systems. We consider what portions of the policy state must be mo…
Timed Analysis of Security Protocols
R. Corin, S. Etalle, P. H. Hartel +1
We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete…
An Audit Logic for Accountability
J. G. Cederquist, R. Corin, M. A. C. Dekker +2
We describe and implement a policy language. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specific…