4340 search results - page 195 / 868 » Formal Methods and Cryptography |
134
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
115
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
118
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
ZUM
1995
Springer
15 years 8 months ago
1995
Springer
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
160
click to vote
FSE
2009
Springer
16 years 5 months ago
2009
Springer
In this paper we propose a new cryptanalytic method against block ciphers, which combines both algebraic and statistical techniques. More specifically, we show how to use algebraic...