David, I think a simpler way to express the semantics you want is just to consider the protocol version number to be part of the session identifier. That way, a version 0 session can never match a version 1 session, by definition, full stop.
_______________________________________________ sidr mailing list sidr@ietf.org https://www.ietf.org/mailman/listinfo/sidr