3811 search results - page 105 / 763 » The Safe-Tcl Security Model |
156
Voted
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
134
Voted
ISPEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Side-channel attacks are a very powerful cryptanalytic technique. Li and Gu [ProvSec’07] proposed an approach against side-channel attacks, which states that a symmetri...
168
Voted
MEDES
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we describe a security model where users are allowed to control their obligations partially or totally, depending on the security policy. The main motivation of our...
135
click to vote
SIS
2004
15 years 6 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
128
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor