3544 search results - page 222 / 709 » Information Security in Open Systems |
191
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
166
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
178
click to vote
JCP
2008
15 years 6 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
207
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
165
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
Information sharing and protection against leakage is a critical problem especially for organisations having sensitive information. Sharing content between individuals in the same...