Lecture notes in computer scienceConcurrent Security and Non-malleabilityRafael PassPublished Jan 1, 2011• 1 citationPublisherDOI10.1007/978-3-642-19571-6_32