5843 search results - page 489 / 1169 » Software Security in Practice |
169
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Various security and privacy issues have emerged from the SOA healthcare platform. Large amounts of personal data are transmitted daily through the SOA healthcare platform. For se...
122
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In existing RBAC literature, administrative privileges are inherited just like ordinary user privileges. We argue that from a security viewpoint this is too restrictive, and we be...
163
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
The detection of covert timing channels is of increasing interest in light of recent practice on the exploitation of covert timing channels over the Internet. However, due to the ...
202
click to vote
CSFW
2006
IEEE
16 years 28 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 ...
194
click to vote
CRYPTO
2005
Springer
16 years 12 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...