Vi betraktar en hemlig egendom i en enkel process kalkyl med kryptografiska primitiver. Standarden Dolev-Yao angriparen är förbättrad så att den kan gissa nyckeln för att dekryptera ett avlyssnat meddelande. Vi lånar från beräknings komplexitet för att hemlighålla antaganden som gissar lyckas med en given försumbar sannolikhet och att de resurser som finns tillgängliga för angripare är polynomiskt bundna. Under dessa hypoteser bevisar vi att standard-Dolev-Yao angriparen är lika kraftfull som den förbättrade.
Slutligen jämför REF den klassiska Dolev-Yao motståndaren med en förbättrad beräkningsmotståndare som kan gissa nyckeln för dekryptering av ett avlyssnat meddelande (om än endast med försumbar sannolikhet).
A Note on the Perfect Encryption Assumption in a Process Calculus
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}