Commit 1b105c21 authored by bamoon's avatar bamoon

included Mowen's non-orig constraints

parent dc845e96
......@@ -12,9 +12,11 @@
(defskeleton tesla
(vars (mj text) (ki-d kmac-i ki skey))
(defstrand bcast 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki)))
(defstrand bcast 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki))
(non-orig (privk ki-d) (privk ki) (privk mac-i)))
(defskeleton tesla
(vars (mj text) (ki-d ki kmac-i skey))
(defstrand resp 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki)))
(defstrand resp 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki))
(non-orig (privk ki-d) (privk ki) (privk mac-i)))
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment