Analysis of Electronic Commerce Protocols Based on Extended Rubin Logic | IEEE Conference Publication | IEEE Xplore