292 search results - page 25 / 59 » Communication and Round Efficient Information Checking Proto... |
WWW
2005
ACM
14 years 11 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
CCS
2004
ACM
14 years 4 months ago
2004
ACM
Access control can be used to ensure that database queries pertaining to sensitive information are not answered. This is not enough to prevent users from learning sensitive inform...
CNSR
2007
IEEE
14 years 19 days ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
INFOCOM
2011
IEEE
13 years 2 months ago
2011
IEEE
—Firewalls have been widely deployed on the Internet for securing private networks. A firewall checks each incoming or outgoing packet to decide whether to accept or discard the...