[Impressum] [E-Mail]

Modeling E-Ticket (4)

• CardAuthentication: Before an inspector receives the information whiche tickets are stored on a ETicketCard, the CardAuthentication protocol has to validate that the card is authentic.

           

• Show all tickets by Inspector:  After its clear that the card is authentic he receive all tickets stored on the card. We suppose that an inspector would recognise if the card is exchanged between the two protocols. 

           

• StampTicket:  After the inspector has choosen a ticket he is able to stamp it. Because a ticket can be stamped only one time and only with the correct PIN, it is not necessary that the inspector device is authentic.

           




Back, more activity diagrams