A very efficient recursive algorithm for generating nearly random provable primes is presented. The expected time for generating a prime is only slightly greater than the expected time required for generating a pseudo-prime of the same size that passes the Miller-Rabin test for only one base. Therefore our algorithm is even faster than presently-used algorithms for generating only pseudo-primes because several Miller-Rabin tests with independent bases must be applied for achieving a sufficient confidence level. Heuristic arguments suggest that the generated primes are close to uniformly distributed over the set of primes in the specified interval. Security constraints on the prime parameters of certain cryptographic systems are discussed, and in particular a detailed analysis of the iterated encryption attack on the RSA public-key cryptosystem is presented. The prime generation algorithm can easily be modified to generate nearly random primes or RSA-moduli that satisfy t...

This paper addresses integrity rules that are embedded within engineering design applications and that apply between applications. A representation for integrity rules that are embedded in applications is presented and a set of related methods developed for: (a.) maintaining the integrity condition of application developed data, (b) managing the precedence order between applications, in the context of (c.) changing the schema and the associated mix of applications and (d.) iterated execution of applications and change propagation. Both integrity rules literally embedded within external applications and others required to be embedded within a database are considered. The techniques are demonstrated with an extensive example.

CONNECTIONS (ISSN 0226-1776) is published twice annually by the International Network for Social Network Analysis (INSNA), located at the