Sciweavers

3899 search results - page 187 / 780
» Argumentation for Access Control
Sort
View
SMC
2010
IEEE
124views Control Systems» more  SMC 2010»
15 years 4 months ago
SoftFacts: A top-k retrieval engine for ontology mediated access to relational databases
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...
Umberto Straccia
GI
2001
Springer
15 years 11 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
DKE
2006
118views more  DKE 2006»
15 years 6 months ago
KDDML: A middleware language and system for knowledge discovery in databases
KDDML (KDD Markup Language) is a middleware language and system designed to support the development of final applications or higher level systems which deploy a mixture of data acc...
Andrea Romei, Salvatore Ruggieri, Franco Turini
ICC
2007
IEEE
16 years 26 days ago
A Grammar for Specifying Usage Control Policies
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
Rafael Teigao, Carlos Maziero, Altair Olivo Santin
ESORICS
2004
Springer
15 years 12 months ago
Security Property Based Administrative Controls
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
Jon A. Solworth, Robert H. Sloan