6555 search results - page 383 / 1311 » Secure attribute-based systems |
161
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
201
click to vote
SECPERU
2006
IEEE
16 years 25 days ago
2006
IEEE
The extraordinary growth of the Information Society is originating a high dependency on ICT. This provokes that those strongly interrelated technological infrastructures, as well ...
220
click to vote
WS
2006
ACM
16 years 23 days ago
2006
ACM
This paper presents SCUBA (Secure Code Update By Attestation), for detecting and recovering compromised nodes in sensor networks. The SCUBA protocol enables the design of a sensor...
192
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
170
click to vote
TCC
2005
Springer
16 years 9 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...