Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting | IEEE Conference Publication | IEEE Xplore