Design/CPN
swMATH ID: | 1952 |
Software Authors: | Al-Azzoni, Issam; Down, Douglas G. |
Description: | Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN |
Homepage: | http://cpntools.org/ |
Related Software: | CPN/Tools; PNML; TINA; ML; SYROCO; SNOOPY; mCRL2; Woflan; SPIN; C4.5; Chaff; Kronos; UCI-ml; GPenSIM; LOOPN++; Eiffel; BETA; Reo; PRISM; LoLA |
Cited in: | 35 Documents |
Further Publications: | http://cpntools.org/publications |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN. Zbl 1087.68033 Al-Azzoni, Issam; Down, Douglas G. |
2005
|
all
top 5
Cited by 64 Authors
all
top 5
Cited in 18 Serials
all
top 5