scientific article
From MaRDI portal
Publication:2849849
zbMath1272.68326MaRDI QIDQ2849849
Andrea Maggiolo-Schettini, Ruggero Lanotte, Angelo Troina
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052454
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (7)
Model Checking Security Protocols ⋮ Parametric probabilistic transition systems for system design and analysis ⋮ Verification and Control of Partially Observable Probabilistic Real-Time Systems ⋮ Verification and control of partially observable probabilistic systems ⋮ Model checking for probabilistic timed automata ⋮ Reachability results for timed automata with unbounded data structures ⋮ Fairness analysis for multiparty nonrepudiation protocols based on improved strand space
Uses Software
This page was built for publication: