568 search results - page 21 / 114 » Enforcing traceability in software |
SRDS
2005
IEEE
14 years 3 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
APSEC
2006
IEEE
14 years 1 days ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
CISIS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...