skip to main content
Resource type Show Results with: Show Results with: Index

Model checking invariant security properties in OpenFlow

Son, Sooel ; Seungwon Shin ; Yegneswaran, Vinod ; Porras, Phillip ; Guofei Gu

2013 IEEE International Conference on Communications (ICC), 2013, p.1974-1979

IEEE

Full text available

Citations Cited by

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far