From 3351f3e11e14f080a646e949bd91656e9663efd0 Mon Sep 17 00:00:00 2001 From: dufour Date: Wed, 18 Feb 2009 14:43:41 +0000 Subject: * 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 --- cesar/cp/sta/action/doc/assoc.sdl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'cesar/cp/sta/action/doc') 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 @@ -n-> (unassociated) (wait assoc cnf sc) -to leave-> (unassociated) -(associated sc) -CM_GET_KEY.REQ-> -y-> (tek exchanged sc) - -n-> (unassociated) - -unrelated-> (associated sc) +(associated sc) -CM_GET_KEY.REQ PID=3-> -y-> (tek exchanged sc) + -n-> (unassociated) + -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-> -y-> (authenticated) +(nmk exchanged sc) -CM_GET_KEY.CNF PID=3-> -y-> (authenticated) -n-> (unassociated) -unrelated-> (nmk exchanged sc) (nmk exchanged sc) -timeout-> (unassociated) -- cgit v1.2.3