3420 search results - page 100 / 684 » A Language-Based Approach to Security |
112
click to vote
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...
129
click to vote
STORAGESS
2006
ACM
15 years 9 months ago
2006
ACM
New designs for petabyte-scale storage systems are now capable of transferring hundreds of gigabytes of data per second, but lack strong security. We propose a scalable and effici...
128
click to vote
SOUPS
2005
ACM
15 years 9 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
146
Voted
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
114
Voted
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...