https://1library.net/document/yr3ol3jy-formal-verification-secrecy-group-key-protocols-using-event.html