Valter Vasić, Miljenko Mikuc, Marin Vuković, Vol. 10, No. 3, March 30, 2016
10.3837/tiis.2016.03.015

• cryptographic agility
• Key Exchange
• algorithm agreement
• communication model
• Model Verification