956 search results - page 99 / 192 » A security framework for agent-based systems |
115
click to vote
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
102
click to vote
MOBIQUITOUS
2008
IEEE
15 years 4 months ago
2008
IEEE
SMEPP Light is a middleware for Wireless Sensor Networks (WSNs) based on mote-class sensors. It is derived from the specification developed under the framework of the SMEPP proje...
TPDS
2008
14 years 9 months ago
2008
Content services such as content filtering and transcoding adapt contents to meet system requirements, display capacities, or user preferences. Data security in such a framework is...
CCS
2004
ACM
15 years 3 months ago
2004
ACM
We examine the problem of providing useful feedback about access control decisions to users while controlling the disclosure of the system’s security policies. Relevant feedback...
USENIX
2003
14 years 11 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...