407 search results - page 17 / 82 » An Ontology-based Approach to the Formalization of Informati... |
RAID
2004
Springer
14 years 22 days ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
IJMI
2007
13 years 7 months ago
2007
Objective: We present an integrated set of technologies, known as the Hippocratic Database, that enable healthcare enterprises to comply with privacy and security laws without imp...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
DBSEC
2000
13 years 8 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...