410 search results - page 9 / 82 » Validating Cyber Security Requirements: A Case Study |
ACSAC
2003
IEEE
14 years 27 days ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
TSE
1998
13 years 7 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
SACMAT
2003
ACM
14 years 26 days ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
JUCS
2000
13 years 7 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...