647 search results - page 29 / 130 » Technical method of Zoetmorerope |
CCS
2005
ACM
14 years 1 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
ICDAR
2003
IEEE
14 years 26 days ago
2003
IEEE
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
DEXAW
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper begins with consideration on push technology in Java ORB environment, and investigates interoperability of event channels of the event service of CORBA, which should be...
LOBJET
2000
13 years 7 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...