1154 search results - page 31 / 231 » Making Self-organizing Systems Secure |
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
149
click to vote
CSFW
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
112
click to vote
IJISEC
2006
15 years 1 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
130
click to vote
EUROCRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Recently, at Crypto 2008, Boneh, Halevi, Hamburg, and Ostrovsky (BHHO) solved the longstanding open problem of "circular encryption," by presenting a public key encrypti...