3504 search results - page 330 / 701 » Secure protocol composition |
207
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
203
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
181
click to vote
VIS
2004
IEEE
16 years 8 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...
154
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network security is gravitating towards more centralized control. Strong centralization places a heavy burden on the administrator who has to manage complex security policies and ...
169
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...