SHARE
TWEET

Untitled

a guest Dec 14th, 2019 78 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. const pk: Function;
  2. secret sk: Function;
  3. inversekeys (pk,sk);
  4. usertype Timestamp;
  5.  
  6.  
  7. protocol protocol1(A,B)
  8. {
  9.     role A
  10.     {
  11.         const Na: Nonce;
  12.         var Nb: Nonce;
  13.         fresh Ta: Timestamp;
  14.         var Tb: Timestamp;
  15.         fresh Xa, Ya: Nonce;
  16.         var Yb, Xb: Nonce;
  17.  
  18.         send_1(A, B,  A,{Ta, Na, B, Xa, {Ya}pk(B)}sk(A));
  19.  
  20.  
  21.         claim_a1(A, Secret, Ya);
  22.         //claim_a2(A, Secret, Xa);
  23.         claim_a4(A, Nisynch);
  24.         claim_a5(A, Niagree);
  25.     }
  26.  
  27.     role B
  28.     {
  29.         const Nb: Nonce;
  30.         var Na: Nonce;     
  31.         fresh Ta: Timestamp;
  32.         var Tb: Timestamp;
  33.         fresh Xb, Yb: Nonce;
  34.         var Ya, Xa: Nonce;
  35.  
  36.         recv_1(A,B , A,{Ta, Na, B, Xa, {Ya}pk(B)}sk(A));
  37.  
  38.         claim_b1(B, Secret, Ya);
  39.         //claim_b2(B, Secret, Xa);
  40.         claim_b4(B, Nisynch);
  41.         claim_b5(B, Niagree);
  42.     }
  43. }
  44.  
  45. // An untrusted agent, with leaked information
  46.  
  47. const Eve: Agent;
  48. untrusted Eve;
  49. compromised sk(Eve);
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top