Computational Indistinguishability Logic (CIL) är en logik för resonemang om kryptografiska primitiver i beräkningsmodeller. Det fångar resonemangsmönster som är vanliga i bevisbar säkerhet, såsom simuleringar och minskningar. CIL är bra för standardmodellen, men stöder också resonemang i slumpmässiga oraklet och andra idealiserade modeller. Vi illustrerar fördelarna med CIL genom att formellt bevisa säkerheten i det probabilistiska signatursystemet (PSS).
Computational Indistinguishability Logic REF är en nyare logik som övervinner dessa begränsningar.
Computational indistinguishability logic
{'venue': "CCS '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}