2687 search results - page 172 / 538 » Formal Analysis of PKCS |
170
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
182
click to vote
ACTA
2002
15 years 6 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
187
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
154
click to vote
SIAMSC
2010
15 years 1 months ago
2010
Abstract. The full multigrid (FMG) algorithm is often claimed to achieve so-called discretizationlevel accuracy. In this paper, this notion is formalized by defining a worst-case r...
157
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...