Jun
26
Using TestEra to Check the Intentional Naming System of Oxygen
The published description of Lookup-Name claims: “This algorithm uses the assumption that omitted attributes correspond to wildcards; this is true for both the queries and advertisements.” TestEra refutes this claim (Figure 2(b)).
TestEra also shows that addition in INS is not monotonic, i.e., addition of a new service to a database can cause existing services to erroneously become non-conforming (Figure 2(c)). This flaw points out that INS did not have a consistent notion of conformance. Both preceding flaws exist in the original design and implementation of INS.
