8644 search results - page 259 / 1729 » On the Composition of Secure Systems |
193
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
190
click to vote
SASN
2004
ACM
16 years 5 days ago
2004
ACM
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
160
click to vote
ESSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
156
click to vote
IEEESP
2007
15 years 6 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
180
click to vote
CRYPTO
2004
Springer
16 years 4 days ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...