… We introduce the notion of an ideal—a set of messages closed under encryption and … In
conjunction with the strand space formalism, we use the concept of ideals to prove bounds on a …

… We will usually represent a strand space by its underlying set of strands Σ. In particular
applications … In this section, we will illustrate the machinery of ideals and honesty by applying it to …

… We apply the strand space model to such cases, and show that the same concepts and
techniques as … Our main theorem interrelates the structure of ideals with the property of honesty: …

… the string theory space. The results show that the agreement is correct. Strand space theory,
the … Therefore, we believe that the ideal space of string theory and the concepts of integrity …

… is quite natural giventhe strand space proof methods. These … a resum ́e of the strand space
theory. We thenexpand the theory … the structure of ideals withthe property of honesty:Theorem …

… of strand space theory including relevant definitions and major theorems. In section 3 we
define the class of honest … The notion of an “honest ideal” is mainly concerned with a formal …

… The penetrator’s strands are extended through adding … of ideal is defined and the relevant
propositions or theorems are therefore modified and proved. The extended honest ideals …

… We will usually represent a strand space by its underlying set of strands X. In particular
applications … In this section, we will illustrate the machinery of ideals and honesty by applying it to …

… And, Meadows has observed connections between Paulson's inductive approach, ideals
in strand spaces, and the construction of languages as used to prune an infinite search …

… Moreover, at this stage, we consider only protocol correctness assuming ideal cryptography.
Much work both recently (for instance, [1, 21, 24]) and of an earlier vintage (such as [7, 3]) …