1788 search results - page 76 / 358 » Integrating Security into the Curriculum |
159
click to vote
MOBICOM
2006
ACM
16 years 3 days ago
2006
ACM
We present a security framework for Vehicular Ad hoc Networks (VANETs), using identity-based cryptography, to provide authentication, confidentiality, non-repudiation and message...
162
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
138
click to vote
SCS
2003
15 years 7 months ago
2003
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...
147
click to vote
CSI
2008
15 years 6 months ago
2008
VANETs have the potential to dramatically increase road safety by giving drivers more time to react adequately to dangerous situations. To prevent abuse of VANETs, a security infra...
147
click to vote
DMKD
2004
ACM
15 years 11 months ago
2004
ACM
Integrating data from multiple sources has been a longstanding challenge in the database community. Techniques such as privacy-preserving data mining promises privacy, but assume ...