Varnostna analiza protokolov za overjen dogovor o ključu in shem za digitalni podpis : doktorska disertacija