Mechanical Verification Of Secure Distributed systems In Higher Order Logic | IEEE Conference Publication | IEEE Xplore