Commit 9b5536f8 authored by Joy Mitra's avatar Joy Mitra
parents e67c0ac1 66ee2fc8
......@@ -4,19 +4,17 @@
(defrole bcast
(vars (mj text) (ki-d ki kmac-i skey) (x id data))
(trace
(send mj (enc mj kmac-i) ki-d)))
(comment "this should be the Mj|MAC(k'i, Mj)|ki-d message")
(defrole recv
(send (cat mj (enc mj kmac-i) ki-d))))
(defrole resp
(vars (mj text) (ki-d ki kmac-i skey) (x id data))
(trace
(recv mj (enc mj kmac-i) ki-d))))
(recv (cat mj (enc mj kmac-i) ki-d)))))
(defskeleton tesla
(vars (mj text) (ki-d ki kmac-i skey))
(defstrand bcast 1 (mj mj) (ki-d ki-d) (ki ki) (kmac-i kmac-i))
(comment "TODO: add constraints")
(vars (mj text) (ki-d kmac-i ki skey))
(defstrand bcast 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki)))
(defskeleton tesla
(vars (ki-d ki kmac-i skey))
(defstrand recv 1 (ki-d ki-d) (ki ki) (kmac-i kmac-i))
(comment "TODO: add constraints")
(vars (mj text) (ki-d ki kmac-i skey))
(defstrand resp 1 (mj mj) (ki-d ki-d) (kmac-i kmac-i) (ki ki)))
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