2687 search results - page 355 / 538 » Formal Analysis of PKCS |
168
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The paper describes a framework for solving the coverage problem for a class of non-convex domains. In [1] we have shown how a diffeomorphism can be used to transform a non-con...
169
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
159
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
149
click to vote
CSFW
2007
IEEE
16 years 27 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
174
click to vote
CSMR
2007
IEEE
16 years 27 days ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...