2575 search results - page 24 / 515 » Providing security with insecure systems |
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...
93
Voted
IACR
2011
13 years 11 months ago
2011
Traditional approaches to secure computation begin by representing the function f being computed as a circuit. For any function f that depends on each of its inputs, this implies ...
101
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
106
click to vote
ISPEC
2005
Springer
15 years 5 months ago
2005
Springer
A (t, n) threshold proxy signature scheme enables an original signer to delegate the signature authority to a proxy group of n member such that t or more than t proxy signers can ...
ENTCS
2006
14 years 11 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...