Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Softwaretechnik und Programmiersprachen »
Software Engineering »
Projects »
SecureMDD »
Files for the CopyCard example »
An insecure version of the Copy Card (1)

An insecure version of the Copy Card (1)

An insecure version of a Copy Card

See Pitfalls in Formal Reasoning about Security Protocols for more details about the example.

The activity diagrams for load, and pay:
Activity_Diagram__load__load Activity_Diagram__pay__pay Activity_Diagram__getBalance__getBalance

The UML sequence diagrams for load, and pay:
Sequence_Diagram__load__load Sequence_Diagram__pay__pay

The class diagram and the deployment diagram:
Class_Diagram__Classes__CD Implementation_Diagram__Deployment_Diagram__DD