6555 search results - page 404 / 1311 » Secure attribute-based systems |
174
Voted
COMPSEC
2010
15 years 3 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
181
click to vote
PUC
2006
15 years 6 months ago
2006
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
191
Voted
SENSYS
2004
ACM
16 years 8 days ago
2004
ACM
We introduce TinySec, the first fully-implemented link layer security architecture for wireless sensor networks. In our design, we leverage recent lessons learned from design vul...
196
Voted
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
182
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...