8644 search results - page 236 / 1729 » On the Composition of Secure Systems |
139
click to vote
EVOTING
2004
15 years 8 months ago
2004
: As e-Voting gains more importance while practicable solutions are being implemented, more questions arise concerning alternative possibilities for a secure and feasible authentic...
150
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
ISCAS
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper analyzes the security of a new multistage encryption system (MES) recently proposed in ISCAS’2004. It is found that MES is insecure against a differential chosenpl...
192
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
In the setting of multiparty computation a set of parties with private inputs wish to compute some joint function of their inputs, whilst preserving certain security properties (l...
173
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...