D28F0FDE-F578-4D6D-A099-A461B7CFA6BCAnalysing Security and Privacy PropertiesFellowshipEP/H005501/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL9913959BD7B242-4D45-48E2-8623-9F8C98AC1C46Security Protocols XXV3815ee07e55fd6613ab25a4413ed8388Ryan M2017-01-01http://dx.doi.org/10.1007/978-3-319-71075-4_11http://dx.doi.org/10.1007/978-3-319-71075-4_11Making Decryption Accountable93-98Book Chapter5aa69d76a2e0d9.24346611