Modeling Computational Security in Long-Lived Systems
From MaRDI portal
Publication:3541014
DOI10.1007/978-3-540-85361-9_12zbMATH Open1160.94382OpenAlexW1730786737MaRDI QIDQ3541014FDOQ3541014
Olivier Pereira, Ran Canetti, Nancy Lynch, Ling Cheung, Dilsun Kaynar
Publication date: 25 November 2008
Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/1890/
Recommendations
Cited In (2)
This page was built for publication: Modeling Computational Security in Long-Lived Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541014)