summaryrefslogtreecommitdiff
path: root/cesar/cp/sta/action/doc
diff options
context:
space:
mode:
authordufour2009-03-02 15:59:29 +0000
committerdufour2009-03-02 15:59:29 +0000
commitee9edc59fb48c8810111eae1301eb2f985f2b45f (patch)
treedcfc3a0ea43bbd17596871c9fd80c780749ef97e /cesar/cp/sta/action/doc
parent76641fb5ef87eb46ba46f15d7035999e6fa6a736 (diff)
* cp/fsm, cp/sta/action (see #177):
- rename FSM states to a correct name, - add some communication events between the main FSM and the SC one, - add missing functions (marked as TODO), - many small corrections: - protocol run should not be re-initialized during the whole SC procedure, - check for protocol ruen should be done when receiving MME, - do not encrypt some MMEs. - correct some comments, - update doc. git-svn-id: svn+ssh://pessac/svn/cesar/trunk@4133 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'cesar/cp/sta/action/doc')
-rw-r--r--cesar/cp/sta/action/doc/sc.sdl25
1 files changed, 12 insertions, 13 deletions
diff --git a/cesar/cp/sta/action/doc/sc.sdl b/cesar/cp/sta/action/doc/sc.sdl
index 5ddf47721d..0615cd8e23 100644
--- a/cesar/cp/sta/action/doc/sc.sdl
+++ b/cesar/cp/sta/action/doc/sc.sdl
@@ -1,23 +1,22 @@
-(idle) -to start add-> (wait join req)
+(idle) -to start add-> (add)
(idle) -to start join-> (periodic join req)
(idle) -to start add from join-> (wait peer associated)
-(wait join req) -SC_JOIN.REQ-> <wj:ok?> -y-> (wait peer associated)
- <wj:ok?> -n-> (wait join req)
-(wait join req) -timeout-> (idle)
-(wait join req) -to stop-> (idle)
+(add) -SC_JOIN.REQ-> <add:ok?> -y-> (wait peer associated)
+ <add:ok?> -n-> (add)
+(add) -timeout-> (idle)
+(add) -to stop-> (idle)
-(wait peer associated) -timeout-> <wp:retry?> -y-> (wait peer associated)
- <wp:retry?> -n-> (idle)
-(wait peer associated) -assoc received-> <peer on our avln?> -y-> (tek exchange)
- <peer on our avln?> -n-> (wait peer associated)
+(wait peer associated) -timeout-> (idle)
+(wait peer associated) -assoc received-> <sta is sc peer?> -y-> (building tek)
+ <sta is sc peer?> -n-> (wait peer associated)
(wait peer associated) -to stop-> (idle)
-(tek exchange) -CM_GET_KEY.CNF PID=3-> <te:ok?> -y-> (mnk exchange)
+(building tek) -CM_GET_KEY.CNF PID=3-> <te:ok?> -y-> (mnk exchange)
<te:ok?> -n-> (idle)
- <te:ok?> -unrelated-> (tek exchange)
-(tek exchange) -timeout-> (idle)
-(tek exchange) -to stop-> (idle)
+ <te:ok?> -unrelated-> (building tek)
+(building tek) -timeout-> (idle)
+(building tek) -to stop-> (idle)
(mnk exchange) -CM_SET_KEY.CNF PID=3-> <me:ok?> -y-> (idle)
<me:ok?> -n-> (idle)