From 0758da468fb2d5a38bd57dfea613d9d4def957d9 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 14 Mar 2005 13:42:15 +0000
Subject: [PATCH] - Added important remark.

---
 spdl/boyd.spdl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spdl/boyd.spdl b/spdl/boyd.spdl
index 0693f53..adcf26e 100644
--- a/spdl/boyd.spdl
+++ b/spdl/boyd.spdl
@@ -12,6 +12,9 @@ inversekeys (m, unm);
  *
  * Boyd & Mathuria: Protocols for authentication and key establishment
  * (2003) p. 101
+ *
+ * Note that MAC_ks(x) has been interpreted as MAC(x,ks); this
+ * assumption causes some possible false attacks.
  */
 
 protocol boyd(I,R,S)