메뉴 건너뛰기




Volumn , Issue , 2013, Pages 101-110

Verifiably-safe software-defined networks for CPS

Author keywords

formal verification; openflow; software defined networks

Indexed keywords

CYBER-PHYSICAL SYSTEMS (CPS); FORMAL VERIFICATIONS; MANUAL INTERVENTION; NETWORK CONVERGENCE; OPENFLOW; SOFTWARE-DEFINED NETWORKINGS; SOFTWARE-DEFINED NETWORKS; SYSTEM IMPLEMENTATION;

EID: 84877624157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2461446.2461461     Document Type: Conference Paper
Times cited : (40)

References (22)
  • 2
    • 84877608511 scopus 로고    scopus 로고
    • Open networking foundation members, 2012
    • Open networking foundation members, 2012.
  • 6
    • 0036500942 scopus 로고    scopus 로고
    • Verification of out-of-order processor designs using model checking and a light-weight completion function
    • DOI 10.1023/A:1014170513439
    • S. Berezin, E. Clarke, A. Biere, and Y. Zhu. Verification of out-of-order processor designs using model checking and a light-weight completion function. Form. Methods Syst. Des., 20(2):159-186, Mar. 2002. (Pubitemid 34265802)
    • (2002) Formal Methods in System Design , vol.20 , Issue.2 , pp. 159-186
    • Berezin, S.1    Clarke, E.2    Biere, A.3    Zhu, Y.4
  • 12
    • 0016543936 scopus 로고
    • Guarded commands, nondeterminacy and formal derivation of programs
    • E. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453-457, 1975.
    • (1975) Communications of the ACM , vol.18 , Issue.8 , pp. 453-457
    • Dijkstra, E.1
  • 15
    • 80053341773 scopus 로고    scopus 로고
    • Frenetic: A network programming language
    • N. Foster, R. Harrison, and M. Freedman. Frenetic: A network programming language. ACM SIGPLAN Notices, 46(9):279-291, 2011.
    • (2011) ACM SIGPLAN Notices , vol.46 , Issue.9 , pp. 279-291
    • Foster, N.1    Harrison, R.2    Freedman, M.3
  • 18
    • 0038507387 scopus 로고    scopus 로고
    • Alloy: A lightweight object modelling notation
    • DOI 10.1145/505145.505149
    • D. Jackson. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2):256-290, Apr. 2002. (Pubitemid 44159313)
    • (2002) ACM Transactions on Software Engineering and Methodology , vol.11 , Issue.2 , pp. 256-290
    • Jackson, D.1
  • 19
    • 84901630491 scopus 로고    scopus 로고
    • Logic Programming for Software-Defined Networks
    • N. P. Katta, J. Rexford, and D. Walker. Logic Programming for Software-Defined Networks. In XLDI, number 1, 2012.
    • (2012) XLDI , Issue.1
    • Katta, N.P.1    Rexford, J.2    Walker, D.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.