[saag] Re: [nasr] Re: Re: Re: Re: NASR BOF Follo w-Up

Dear Henk,

Your response was very detailed I think helped me at least, understand
the core issue of our disagreement. If I might take some liberties in
summarizing, it sounds like what you want is to provide additional
scaffolding from NASR to enable collection of evidence, and maybe some
standardized ways to represent the evidence, from a chain of routers
that it can be proved some packets transit. The evidence attests to
syntactic properties of the code and configuration at a point in time,
maybe with some kind of history mechanism to understand it.

However, the properties being claimed are nontrivial semantic claims
dependent on the configuration and the software that uses this
configuration to route packets. There's a big gap here, and I don't
believe it has been solved. To the extent that NASR needs these to be
solved to provide certain things, it won't be able to provide them,
and I think that undermines a lot of the presented rationale.

Sincerely,
Watson Ladd

_______________________________________________
saag mailing list -- [email protected]
To unsubscribe send an email to [email protected]