5374 search results - page 12 / 1075 » The induction of communication protocols |
108
click to vote
IJFCS
2008
15 years 1 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
127
Voted
SEC
2001
15 years 3 months ago
2001
Abstract Traditionally, research in secure group key agreement focuses on minimizing the computational overhead for cryptographic operations, and minimizing the communication overh...
ISCC
2009
IEEE
15 years 8 months ago
2009
IEEE
91
Voted
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
