3420 search results - page 73 / 684 » A Language-Based Approach to Security |
ASIACRYPT
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we propose a new approach for constructing selectively convertible undeniable signature schemes, and present two efficient schemes based on RSA. Our approach allows ...
SAFECOMP
2010
Springer
13 years 8 months ago
2010
Springer
A safety case should provide a clear, comprehensible and defensible argument, supported by evidence, that a system is acceptably safe to operate in a particular environment. This a...
MMMACNS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
COMPSYSTECH
2010
13 years 10 months ago
2010
Security of sensor grids is important especially for surveillance, military and medical applications. The paper addresses methods for two security features. First, an approach for ...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...