Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets (Q3556615)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets |
scientific article |
Statements
Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets (English)
0 references
24 April 2010
0 references
contract signing protocol
0 references
coloured Petri nets
0 references
formal verification
0 references