[IEEE ICC 2013 - 2013 IEEE International
โฆ LIBER โฆ
[IEEE ICC 2013 - 2013 IEEE International Conference on Communications - Budapest, Hungary (2013.06.9-2013.06.13)] 2013 IEEE International Conference on Communications (ICC) - Model checking invariant security properties in OpenFlow
โ Scribed by Son, Sooel; Shin, Seungwon; Yegneswaran, Vinod; Porras, Phillip; Gu, Guofei
- Book ID
- 125505340
- Publisher
- IEEE
- Year
- 2013
- Weight
- 713 KB
- Category
- Article
- ISBN
- 1467331228
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
[IEEE ICC 2013 - 2013 IEEE International
[IEEE 2013 ICC - 2013 IEEE International
โ
Malak, Derya; Akan, Ozgur B.
๐
Article
๐
2013
๐
IEEE
โ 647 KB
[IEEE ICC 2013 - 2013 IEEE International
โ
Huang, Xueli; Du, Xiaojiang
๐
Article
๐
2013
๐
IEEE
โ 528 KB
[IEEE ICC 2013 - 2013 IEEE International
[IEEE ICC 2013 - 2013 IEEE International
โ
Yin, Haifan; Gesbert, David; Filippou, Miltiades C.; Liu, Yingzhuang
๐
Article
๐
2013
๐
IEEE
โ 154 KB