1679 search results - page 214 / 336 » Security Properties and CSP |
169
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
190
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
157
click to vote
GLOBECOM
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— For many evolving application scenarios like ubiquitous and autonomic computing systems, trustworthy computing solutions are essential. However the fact that the autono...
185
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— As the use of sensor networks increases, security in this domain becomes a very real concern. One fundamental aspect of providing confidentiality and authentication is key dis...
177
click to vote
ADHOCNOW
2006
Springer
16 years 17 days ago
2006
Springer
Recently, identity-based cryptographic (IBC) schemes have been considered to secure mobile ad hoc networks (MANETs) due to their efficient key management properties. However, propo...