1235 search results - page 11 / 247 » Formalizing information security knowledge |
126
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
118
click to vote
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
Knowledge ‘decay’ is a measure of the degradation of knowledge integrity. In a unified knowledge representation, data, information and knowledge are all represented in a single...
114
click to vote
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
123
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
132
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
There has been increasing pressure on the health care sector to adopt information technologies to rationalize service delivery and increase service quality. Medical information sy...