8644 search results - page 68 / 1729 » On the Composition of Secure Systems |
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Biometric authentication is emerging as the promising solution to conventional cryptography based authentication technologies. However, protecting users’ biometric templates s...
ETRICS
2006
14 years 20 days ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent work in matting, hole filling, and compositing allows image elements to be mixed in a new composite image. Previous algorithms for matting foreground elements have assumed ...
ATVA
2006
Springer
14 years 22 days ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...