1449 search results - page 92 / 290 » Secure and Efficient Metering |
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
ACISP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We describe implementations for solving the discrete logarithm problem in the class group of an imaginary quadratic field and in the infrastructure of a real quadratic fi...
DAGSTUHL
2001
13 years 9 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
SCN
2004
Springer
14 years 1 months ago
2004
Springer
Unsolicited and undesirable e-mail (spam) is a growing problem for Internet users and service providers. We present the Secure Internet Content Selection (SICS) protocol, an effic...