1679 search results - page 8 / 336 » Security Properties and CSP |
FAC
2007
13 years 7 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Intelligent security protocols can verify whether the involved principals have properties that are defined based on certain functional and security policies. The property we focu...