Publication:2849849
From MaRDI portal
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
94A60: Cryptography
68P25: Data encryption (aspects in computer science)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Reachability results for timed automata with unbounded data structures, Parametric probabilistic transition systems for system design and analysis, Verification and control of partially observable probabilistic systems, Model checking for probabilistic timed automata, Fairness analysis for multiparty nonrepudiation protocols based on improved strand space, Verification and Control of Partially Observable Probabilistic Real-Time Systems, Model Checking Security Protocols
Uses Software