6581 search results - page 925 / 1317 » Formalizing Design Patterns |
181
click to vote
JCS
2011
15 years 1 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
156
click to vote
JAMIA
2011
14 years 9 months ago
2011
Objective To design, build, implement, and evaluate a personal health record (PHR), tethered to the Military Health System, that leverages MicrosoftÒ HealthVault and GoogleÒ Hea...
206
click to vote
JOC
2011
14 years 9 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
274
click to vote
CLIMA
2011
14 years 6 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
218
click to vote
ESORICS
2011
Springer
14 years 6 months ago
2011
Springer
A common client-side countermeasure against Cross Site Request Forgery (CSRF) is to strip session and authentication information from malicious requests. The difficulty however is ...