3420 search results - page 51 / 684 » A Language-Based Approach to Security |
JSW
2008
13 years 10 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we outline a conceptual framework for linking cyber security provisions to business processes. The framework is presented for use in analyzing the cost and performa...
ISW
1997
Springer
14 years 2 months ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
FC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
ACMSE
2007
ACM
14 years 2 months ago
2007
ACM
Information security is a growing concern today for organizations and individuals alike. This has led to growing interest in more aggressive forms of defense to supplement the exi...