@inproceedings{al-refai_2009, 
  title={EVALUATION TECHNIQUE IN THE SPICALCULUS FOR CRYPTOGRAPHIC PROTOCOLS}, 
  DOI={10.14236/ewic/isiict2009.9}, 
  publisher={BCS Learning & Development}, 
  author={Al-Refai, Hasan M.}, 
  year={2009}, 
  month={Dec}
  }