메뉴 건너뛰기




Volumn Part F133431, Issue , 1999, Pages 109-118

SCR: A practical approach to building a high assurance COMSEC system

Author keywords

[No Author keywords available]

Indexed keywords

COST REDUCTION; EMBEDDED SYSTEMS; SECURITY OF DATA; SECURITY SYSTEMS;

EID: 84875066685     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSAC.1999.816018     Document Type: Conference Paper
Times cited : (23)

References (25)
  • 5
    • 0032674648 scopus 로고    scopus 로고
    • Model checking complete requirements specifications using abstraction
    • January
    • R. Bharadwaj and C. Heitmeyer. Model checking complete requirements specifications using abstraction. Automated Software Engineering, 6(1), January 1999.
    • (1999) Automated Software Engineering , vol.6 , Issue.1
    • Bharadwaj, R.1    Heitmeyer, C.2
  • 7
    • 0043242663 scopus 로고    scopus 로고
    • Formal methods for verification and validation of partial specifications: A case study
    • S. Easterbrook and J. Callahan. Formal methods for verification and validation of partial specifications: A case study. Journal of Systems and Software, 1997.
    • (1997) Journal of Systems and Software
    • Easterbrook, S.1    Callahan, J.2
  • 8
    • 84942211164 scopus 로고
    • The CoRE method for real-time requirements
    • September
    • S. R. Faulk, J. Brackett, P. Ward, and J. Kirby. The CoRE method for real-time requirements. IEEE Software, 9(5):22-33, September 1992.
    • (1992) IEEE Software , vol.9 , Issue.5 , pp. 22-33
    • Faulk, S.R.1    Brackett, J.2    Ward, P.3    Kirby, J.4
  • 10
    • 4544221419 scopus 로고    scopus 로고
    • Completeness and consistency in hierarchical state-based requirements
    • June
    • M. P. E. Heimdahl and N. G. Leveson. Completeness and consistency in hierarchical state-based requirements. IEEE Transactions on Software Engineering, 22(6):363-377, June 1996.
    • (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.6 , pp. 363-377
    • Heimdahl, M.P.E.1    Leveson, N.G.2
  • 11
    • 0032203845 scopus 로고    scopus 로고
    • Using abstraction and model checking to detect safety violations in requirements specifications
    • November
    • C. Heitmeyer, J. Kirby, B. Labaw, M. Archer, and R. Bharadwaj. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Trans, on Softw. Eng., 24(11):927-948, November 1998.
    • (1998) IEEE Trans, on Softw. Eng. , vol.24 , Issue.11 , pp. 927-948
    • Heitmeyer, C.1    Kirby, J.2    Labaw, B.3    Archer, M.4    Bharadwaj, R.5
  • 20
    • 0001383866 scopus 로고
    • An introduction to input/Output automata
    • September Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
    • N. Lynch and M. Tuttle. An introduction to Input/Output automata. CWI-Quarterly, 2(3):219-246, September 1989. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
    • (1989) CWI-Quarterly , vol.2 , Issue.3 , pp. 219-246
    • Lynch, N.1    Tuttle, M.2
  • 21
    • 0002658813 scopus 로고    scopus 로고
    • Forward and backward simulations - Part II: Timing-based systems
    • July
    • N. Lynch and F. Vaandrager. Forward and backward simulations - Part II: Timing-based systems. Information and Computation, 128(1):1-25, July 1996.
    • (1996) Information and Computation , vol.128 , Issue.1 , pp. 1-25
    • Lynch, N.1    Vaandrager, F.2
  • 23
    • 0026142032 scopus 로고
    • Assessment of safety-critical software in nuclear power plants
    • April-June
    • D. L. Parnas, G. J. K. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2):189-198, April-June 1991.
    • (1991) Nuclear Safety , vol.32 , Issue.2 , pp. 189-198
    • Parnas, D.L.1    Asmis, G.J.K.2    Madey, J.3
  • 24
    • 0028584998 scopus 로고
    • An experience modeling critical requirements
    • Gaithersburg, MD, June IEEE Press
    • C. N. Payne, A. P. Moore, and D. M. Mihelcic. An experience modeling critical requirements. In Proc. COMPASS '94, pages 245-256, Gaithersburg, MD, June 1994. IEEE Press.
    • (1994) Proc. COMPASS '94 , pp. 245-256
    • Payne, C.N.1    Moore, A.P.2    Mihelcic, D.M.3


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