239 search results - page 37 / 48 » Proof Techniques for Cryptographic Processes |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
CASES
2001
ACM
14 years 9 days ago
2001
ACM
The general purpose processor has long been the focus of intense optimization efforts that have resulted in an impressive doubling of performance every 18 months. However, recent ...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...