✦ LIBER ✦

[IEEE E-Commerce (ISDPE 2010) - Buffalo, NY, USA (2010.09.13-2010.09.14)] 2010 Second International Symposium on Data, Privacy, and E-Commerce - Some Improvements on Model Checking CoreASM Models of Security Protocols

✍ Scribed by Zhao, Zhenju; Liu, Feng; Peng, Jianhua; Huang, Danqing; Xue, Rui; Zhang, Zhenfeng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Zhang, Desheng; Zhang, Min; Chen, Chi 📂 Article 📅 2010 🏛 IEEE ⚖ 567 KB

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Hao, Zhuo; Yu, Nenghai 📂 Article 📅 2010 🏛 IEEE ⚖ 578 KB

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Tiwari, Rohan G.; Navathe, Shamkant B.; Kulkarni, Gaurav J. 📂 Article 📅 2010 🏛 IEEE ⚖ 312 KB

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Liu, Linyuan; Huang, Zhiqiu; Xiao, Fangxiong; Shen, Guohua; Zhu, Haibin 📂 Article 📅 2010 🏛 IEEE ⚖ 340 KB

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Jiang, Han; Xu, Quiliang; Shang, Jiuqing 📂 Article 📅 2010 🏛 IEEE ⚖ 476 KB

[IEEE E-Commerce (ISDPE 2010) - Buffalo,

✍ Xiaojun, Wen; Zhe, Nie 📂 Article 📅 2010 🏛 IEEE ⚖ 565 KB