scientific article
From MaRDI portal
Publication:2849853
zbMath1272.68225MaRDI QIDQ2849853
Hanne Riis Nielson, M. Curti, Chiara Bodei, Mikael Buchholtz, Flemming Nielson, Pierpaolo Degano, Corrado Priami
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405248X
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)
Related Items (7)
Static Evidences for Attack Reconstruction ⋮ \textsf{CaPiTo}: Protocol stacks for services ⋮ Security Metrics at Work on the Things in IoT Systems ⋮ Non-repudiation analysis using \textsc{LySa} with annotations ⋮ Type Inference for Correspondence Types ⋮ From flow logic to static type systems for coordination languages ⋮ Pierpaolo Degano
This page was built for publication:
