Modeling Computational Security in Long-Lived Systems
From MaRDI portal
Publication:3541014
DOI10.1007/978-3-540-85361-9_12zbMath1160.94382OpenAlexW1730786737MaRDI QIDQ3541014
Olivier Pereira, Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy A. Lynch
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/
Related Items (2)
On the Security of Long-Lived Archiving Systems Based on the Evidence Record Syntax ⋮ Analysis of client-side security for long-term time-stamping services
This page was built for publication: Modeling Computational Security in Long-Lived Systems