Roscoe, A., Broadfoot, P., & Lowe, G. (2000). Data independent verification of crypto−protocols.
芝加哥风格引文Roscoe, A., P. Broadfoot, 与 G. Lowe. Data Independent Verification of Crypto−protocols. 2000.
MLA引文Roscoe, A., et al. Data Independent Verification of Crypto−protocols. 2000.
警告：这些引文格式不一定是100％准确.