Sciweavers

948 search results - page 2 / 190
» Analysis of SITA policies
Sort
View
TISSEC
2010
142views more  TISSEC 2010»
13 years 3 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...
JIB
2007
91views more  JIB 2007»
13 years 8 months ago
IMS2 - An integrated medical software system for early lung cancer detection using ion mobility spectrometry data of human breat
IMS2 is an Integrated Medical Software system for the analysis of Ion Mobility Spectrometry (IMS) data. It assists medical staff with the following IMS data processing steps: acqu...
Jan Baumbach, Alexander Bunkowski, Sita Lange, Tim...
CJ
2010
121views more  CJ 2010»
13 years 6 months ago
Engineering Policy-Based Ubiquitous Systems
Morris Sloman, Emil C. Lupu
POLICY
2007
Springer
14 years 2 months ago
Policy Analysis Using a Hybrid Semantic Reasoning Engine
Kris Verlaenen, Bart De Win, Wouter Joosen
CADE
2011
Springer
12 years 8 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...