3420 search results - page 67 / 684 » A Language-Based Approach to Security |
188
click to vote
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
141
click to vote
CCS
2009
ACM
16 years 28 days ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
165
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
163
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
161
click to vote
ACMSE
2006
ACM
16 years 4 days ago
2006
ACM
Authentication, access control, and audit (3As) are three fundamental mechanisms in enterprise security management for countering various types of looming threats from both inside...