Yoshihiro Ohba, Victor Fajardo, Rafael Marin Lopez

1
State Machine for PANA(draft-ohba-pana-statemachi
ne-00.txt)

• Yoshihiro Ohba, Victor Fajardo, Rafael Marin Lopez

2

• Motivations
• As a companion document to the PANA base protocol
  document
• As an implementation scheme
• Insight on PANA internals
• Insight on PANA and EAP Interface
• Insight host system interface considerations
• Detailed Schematichttp//www.toshiba.com/tari/pan
  a/pana-statemachine.html

3
PaC State Diagram Overview
OFFLINE
RxPSR w/EAP-Request
AUTH_USER/ TxPDI
RxPSR/ TxPSA
RxPFER, RxPBR, RxPAR
EAP Interaction States
WAIT_PAA
PANA/EAP Interface
RxPBR Mobility Optimization
EAP_REAUTH/ TxPDI
/TxPSA with EAP-Resp or /TxPAN
/TxPBA
EAP_REACTION
OPEN
FAST_REAUTH/ TxPRAR
RxPRAA
TERMINATE/ TxPTR
RxPUA
UPDATE_POPA/ TxPUR
WAIT_PRAA
WAIT_PUR
SESS_TERM
/TxPBA or /TxPFEA
RxPTR/TxPTA
RxPTA
CLOSE
EAP_REACTION EAP_RESPONSE, EAP_SUCCESS, EAP_FAIL
URE,EAP_INVALID_MSG
4
PAA State Diagram Overview

• (RxPDI PAC_FOUND)
• Piggybacking EAP/EAP_Restart()
• RxPSA without mobility optimization/TxEAP

OFFLINE
USE_COOKIE/ TxPSR with Cookie
EAP_REQUEST/ TxPAR or TxPSR
(RxPDI PAC_FOUND) No piggybacking EAP
EAP Interaction States
PANA/EAP Interface
USE_COOKIEUnset/ TxPSR without Cookie
RxPSA/ TxPAR
WAIT_PAN
STATEFUL_ DISC
RxPAN/TxEAP
EAP_SUCCESS EAP_FAILURE EAP_TIMEOUT / TxPBR
or TxPFER
EAP_TIMEOUT/ TxPER
EAP_REAUTH (RxPDI with Session-Id/ TxPAR
RxPUR/TxPUA
RxPFEA with S-flag1/ EAP_Restart()
RxPRAR/TxPRAA
OPEN
RxPSA with mobility optimization
FAST_REAUTH/ TxPRAR
Result IndicationStates
RxPRAA
TERMINATE/ TxPTR
RxPBA with success conditions
WAIT_PRAA
SESS_TERM
Authentication Result
RxPTR/ TxPTA
RxPTA
RxPFEA with S-flag0 or RxPBA with failure
conditions
CLOSE
5

• Next Steps
• Feedback from implementors, verification of the
  state machine
• Accommodate EP interface
• Migrated to an informational document