Multi-run Security
From MaRDI portal
Publication:3100902
DOI10.1007/978-3-642-23822-2_21zbMATH Open1477.68050OpenAlexW54762625MaRDI QIDQ3100902
Andrei Sabelfeld, Arnar Birgisson
Publication date: 22 November 2011
Published in: Computer Security โ ESORICS 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-23822-2_21
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)
Recommendations
This page was built for publication: Multi-run Security
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100902)