1757 search results - page 47 / 352 » Secure Content Validation |
SDMW
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A new simple and efficient database encryption scheme is presented. The new scheme enables encrypting the entire content of the database without changing its structure. I...
93
Voted
JNW
2008
14 years 11 months ago
2008
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...
ENTCS
2006
14 years 11 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
IEEEHPCS
2010
14 years 6 months ago
2010
IPv6 embraces various good features from the security perspective, but the improvements also bring us some new challenges for web content filtering. This paper presents a new fram...
ESORICS
2004
Springer
15 years 4 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...