Model checking the security of multi-protocol systems | IEEE Conference Publication | IEEE Xplore