dear formal methods folk, is there a convenient tool for modelling agent-knowledge in (cryptographic) protocols that I should know of?pic.twitter.com/yaurruxxgL
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I don't see how that would avoid proving the result applied when you fill in the free terms with a value equal to the key.
reduction rules like this would work afaict reduc forall pfx: bitstring, k: enc_key, sfx: bitstring; recover_key(enc((pfx, k, sfx), k) = k.
you can freely produce things encrypted with public knowledge etc, the ciphertext constructor doesn't need any restrictions whatsoever
the primary destructor is "you have the key, and the ciphertext, so you can decrypt it" but you can just as easily add the one I just posted
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.