2299 search results - page 77 / 460 » Logical Data Expiration |
126
Voted
DBSEC
2010
15 years 24 days ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
101
Voted
ITA
2007
15 years 15 days ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
114
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
108
Voted
RSCTC
2004
Springer
15 years 6 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
98
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...