1544 search results - page 2 / 309 » Possibilistic Systems Within a General Information Theory |
ASIAN
2005
Springer
13 years 6 months ago
2005
Springer
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
ETRICS
2006
13 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ESORICS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
DBSEC
2007
13 years 6 months ago
2007
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
CSFW
2000
IEEE
13 years 8 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...