5401 search results - page 292 / 1081 » Using Versions in GIS |
181
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
The influence of different parallel genetic algorithm (PGA) architectures on the GA convergence properties is analysed. Next, two proposed versions of these PGA architectures are c...
185
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
193
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents some new unknown key-share attacks on STS-MAC, the version of the STS key agreement protocol which uses a MAC algorithm to provide key confirmation. Various me...
160
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
170
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Las Vegas algorithms that are based on Lanczos’s method for solving symmetric linear systems are presented and analyzed. These are compared to a similar randomized Lanczos algor...