Abstract | ||
---|---|---|
A novel visual model-driven approach to security protocol design, verification, and implementation is presented in this paper. User-friendly graphical models are combined with rigorous formal methods to enable protocol verification and sound automatic code generation. Domain-specific abstractions keep the graphical models simple, yet powerful enough to represent complex, realistic protocols such as SSH. The main contribution is to bring together aspects that were only partially available or not available at all in previous proposals. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/HASE.2012.23 | HASE |
Keywords | Field | DocType |
graphical user interfaces,formal methods,security protocols,human computer interaction,formal verification | Abstraction,Programming language,Cryptographic protocol,Computer science,Code generation,Graphical user interface,Formal methods,Graphical model,Computer security model,Formal verification | Conference |
Citations | PageRank | References |
3 | 0.42 | 7 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Piergiuseppe Bettassa Copet | 1 | 12 | 2.94 |
Alfredo Pironti | 2 | 330 | 27.47 |
Davide Pozza | 3 | 105 | 7.45 |
Riccardo Sisto | 4 | 556 | 56.79 |
Pietro Vivoli | 5 | 3 | 0.42 |