756 search results - page 76 / 152 » Modeling Computational Security in Long-Lived Systems |
MMSEC
2006
ACM
14 years 4 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
Speaker recognition systems, even though they have been around for four decades, have not been widely considered as standalone systems for biometric security because of their unac...
ICDCS
2005
IEEE
14 years 3 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
DRM
2004
Springer
14 years 3 months ago
2004
Springer
Today, database relations are widely used and distributed over the Internet. Since these data can be easily tampered with, it is critical to ensure the integrity of these data. In...
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...