3482 search results - page 300 / 697 » Designing for security |
189
click to vote
NBIS
2007
Springer
16 years 24 days ago
2007
Springer
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...
196
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
170
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
164
click to vote
ACSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Client-server applications often do not scale well when a large number of clients access a single server. To solve this, a new trend is to allow a client to download data from oth...
185
click to vote
CRYPTO
2005
Springer
16 years 6 days ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...