Cross-Chain Protocol Analysis