5475 search results - page 606 / 1095 » Model Driven Security |
212
Voted
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
208
Voted
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
204
click to vote
IACR
2011
14 years 6 months ago
2011
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...
202
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Using the variational approaches to estimate optical flow between two frames, the flow discontinuities between different motion fields are usually not distinguished even when an an...
193
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...