407 search results - page 7 / 82 » An Ontology-based Approach to the Formalization of Informati... |
SAS
2004
Springer
14 years 21 days 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 ...
SEC
1997
13 years 8 months ago
1997
A formal top down model shall be presented to aid documentation and harmonization of information security requirements. The model formalizes layered development of inn security, w...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally defining a Fuzzy Knowledge Base, it is discussed a special type of ne...
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
IEEEARES
2008
IEEE
14 years 1 months ago
2008
IEEE
During interoperability exchanges, organizations are jointly conducting computation and sharing tasks. However, organizations can have different security policies. To guarantee g...