332 search results - page 51 / 67 » Towards an Automatic Analysis of Web Service Security |
CCS
2007
ACM
15 years 5 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
HOTOS
2003
IEEE
15 years 5 months ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
102
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
100
click to vote
DOLAP
2006
ACM
15 years 3 months ago
2006
ACM
As more and more information is available on the web, it is a problem that many web resources are not accessible, i.e., are not usable for users with special needs. For example, f...
103
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...