Warszawa, 08.01.19
Karol Musolff Paweł Gąska
Supplicant, Client – strona, która chce uzyskać dostęp do sieci;
Authenticator (Access Point, Network Access Server) – urządzenie dostępowe realizujące EAPOL;
Server – urządzenie lub oprogramowanie dokonujące uwierzytelniania supplicanta i nadające mu odpowiednie uprawnienia - serwer RADIUS;
Client -> Authenticator : EAPOL_Start
Auth -> Client : EAPOL_Request_Identity
Client -> Auth : EAPOL_Response (= NAS_ID, NAS_PORT, {Secret_Key}MD5)
Auth -> Server : Access-Request (= NAS_ID, NAS_PORT, {Secret_Key}MD5)
Server -> Auth : Access-Challenge
Auth -> Client : Access-Challenge
where Access-Challenge = Message
Client -> Auth : Access-Chall-Response
where Access-Chall-Response : {Message}Secret_Key
Auth -> Server : Access-Chall_Response
Server -> Auth : Access_Accept
Auth -> Client : EAPOL_Success
https://www.cisco.com
SUMMARY SAFE DETAILS BOUNDED_NUMBER_OF_SESSIONS PROTOCOL /home/span/span/testsuite/results/hlpslGenFile.if GOAL as_specified BACKEND OFMC COMMENTS STATISTICS parseTime: 0.00s searchTime: 0.10s visitedNodes: 120 nodes depth: 11 plies
SUMMARY
SAFE
DETAILS
BOUNDED_NUMBER_OF_SESSIONS
TYPED_MODEL
PROTOCOL
/home/span/span/testsuite/results/hlpslGenFile.if
GOAL
As Specified
BACKEND
CL-AtSe
STATISTICS
OFMC
ATSE
SUMMARY SAFE DETAILS BOUNDED_NUMBER_OF_SESSIONS PROTOCOL /home/span/span/testsuite/results/hlpslGenFile.if GOAL as_specified BACKEND OFMC COMMENTS STATISTICS parseTime: 0.00s searchTime: 0.10s visitedNodes: 120 nodes depth: 11 plies
SUMMARY
SAFE
DETAILS
BOUNDED_NUMBER_OF_SESSIONS
TYPED_MODEL
PROTOCOL
/home/span/span/testsuite/results/hlpslGenFile.if
GOAL
As Specified
BACKEND
CL-AtSe
STATISTICS
OFMC
ATSE
SAFE
Warszawa, 08.01.19
Karol Musolff Paweł Gąska