2687 search results - page 172 / 538 » Formal Analysis of PKCS |
139
click to vote
CSFW
2002
IEEE
15 years 9 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...
142
click to vote
ACTA
2002
15 years 4 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...
150
click to vote
ICCAD
2010
IEEE
15 years 2 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 ...
124
click to vote
SIAMSC
2010
14 years 11 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...
129
click to vote
CAV
2009
Springer
16 years 5 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...