Added proof of protocol being secure