메뉴 건너뛰기




Volumn , Issue , 2004, Pages 288-297

Using build-integrated static checking to preserve correctness invariants

Author keywords

Assurance; EROS; Model checking; MOPS; Security; Static analysis; Verification

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; COST EFFECTIVENESS; ERROR ANALYSIS; INVESTMENTS; MATHEMATICAL MODELS; RISK ASSESSMENT; SPECIFICATIONS;

EID: 14844297377     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1030083.1030122     Document Type: Conference Paper
Times cited : (7)

References (30)
  • 3
  • 10
    • 0007935332 scopus 로고
    • The KeyKOS architecture
    • October
    • Norman Hardy. The KeyKOS architecture. Operating Systems Review, 19(4):8-25, October 1985.
    • (1985) Operating Systems Review , vol.19 , Issue.4 , pp. 8-25
    • Hardy, N.1
  • 11
    • 0036147522 scopus 로고    scopus 로고
    • Improving security using extensible lightweight static analysis
    • January
    • David Evans and David Larochelle. Improving security using extensible lightweight static analysis. IEEE Software, 19(1), January 2002.
    • (2002) IEEE Software , vol.19 , Issue.1
    • Evans, D.1    Larochelle, D.2
  • 13
    • 0041983715 scopus 로고    scopus 로고
    • PhD thesis, University of Pennsylvania, Philadelphia, PA 19104
    • J. S. Shapiro. EROS: A Capability System. PhD thesis, University of Pennsylvania, Philadelphia, PA 19104, 1999.
    • (1999) EROS: A Capability System
    • Shapiro, J.S.1
  • 15
    • 0022605097 scopus 로고
    • Typestate: A programming language concept for enhancing software reliability
    • January
    • Robert E. Strom and Shaula Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. on Software Engineering, (1):157-171, January 1986.
    • (1986) IEEE Trans. on Software Engineering , Issue.1 , pp. 157-171
    • Strom, R.E.1    Yemini, S.2
  • 16
    • 0027592833 scopus 로고
    • Extending typestate checking using conditional liveness analysis
    • May
    • Robert E. Strom and Daniel M. Yellin. Extending typestate checking using conditional liveness analysis. IEEE Trans. on Software Engineering, (5):478-485, May 1993.
    • (1993) IEEE Trans. on Software Engineering , Issue.5 , pp. 478-485
    • Strom, R.E.1    Yellin, D.M.2


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