summaryrefslogtreecommitdiff
path: root/cesar/cp/sta/action/doc
diff options
context:
space:
mode:
authordufour2009-02-18 14:43:41 +0000
committerdufour2009-02-18 14:43:41 +0000
commit3351f3e11e14f080a646e949bd91656e9663efd0 (patch)
treed11cbaee30d6e25a29e1dfb66b1941e95840a72f /cesar/cp/sta/action/doc
parentfbc67bee6f05dcba8fcca2ade64a853fe4128e4a (diff)
* cp/sta/action, cp/fsm (see #177):
- update the assoc FSM to handle the SC procedure. git-svn-id: svn+ssh://pessac/svn/cesar/trunk@4035 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'cesar/cp/sta/action/doc')
-rw-r--r--cesar/cp/sta/action/doc/assoc.sdl8
1 files changed, 4 insertions, 4 deletions
diff --git a/cesar/cp/sta/action/doc/assoc.sdl b/cesar/cp/sta/action/doc/assoc.sdl
index accfb43567..729444046d 100644
--- a/cesar/cp/sta/action/doc/assoc.sdl
+++ b/cesar/cp/sta/action/doc/assoc.sdl
@@ -36,9 +36,9 @@
<ws:retry?> -n-> (unassociated)
(wait assoc cnf sc) -to leave-> (unassociated)
-(associated sc) -CM_GET_KEY.REQ-> <as:ok?> -y-> (tek exchanged sc)
- <as:ok?> -n-> (unassociated)
- <as:ok?> -unrelated-> (associated sc)
+(associated sc) -CM_GET_KEY.REQ PID=3-> <as:ok?> -y-> (tek exchanged sc)
+ <as:ok?> -n-> (unassociated)
+ <as:ok?> -unrelated-> (associated sc)
(associated sc) -timeout-> (unassociated)
(associated sc) -to leave-> (unassociated)
@@ -48,7 +48,7 @@
(tek exchanged sc) -timeout-> (unassociated)
(tek exchanged sc) -to leave-> (unassociated)
-(nmk exchanged sc) -CM_GET_KEY.REQ PID=3-> <ns:ok> -y-> (authenticated)
+(nmk exchanged sc) -CM_GET_KEY.CNF PID=3-> <ns:ok> -y-> (authenticated)
<ns:ok> -n-> (unassociated)
<ns:ok> -unrelated-> (nmk exchanged sc)
(nmk exchanged sc) -timeout-> (unassociated)