메뉴 건너뛰기




Volumn 8, Issue 3, 2014, Pages 185-192

Sequence composition analysis of noninterference in cyber-physical system with petri net

Author keywords

Cyber physical systems; Information flow security; Noninterference model; Petri net

Indexed keywords

PETRI NETS; SECURITY OF DATA;

EID: 84901807339     PISSN: 17389976     EISSN: None     Source Type: Journal    
DOI: 10.14257/ijsia.2014.8.3.20     Document Type: Article
Times cited : (5)

References (11)
  • 2
    • 70449466750 scopus 로고    scopus 로고
    • Cyber Physical Systems: Design Challenges
    • University of California, Berkeley Technical Report No. UCB/EECS-2008-8
    • E. Lee, "Cyber Physical Systems: Design Challenges", University of California, Berkeley Technical Report No. UCB/EECS-2008-8, (2008).
    • (2008)
    • Lee, E.1
  • 6
    • 67650649695 scopus 로고    scopus 로고
    • Petri Net Security Checker: Structural Non-interference at Work
    • Springer LNCS
    • S. Frau, R. Gorrieri and C. Ferigato, "Petri Net Security Checker: Structural Non-interference at Work", Formal Aspects in Security and Trust, Springer LNCS, vol. 5491, (2009), pp. 210-225.
    • (2009) Formal Aspects in Security and Trust , vol.5491 , pp. 210-225
    • Frau, S.1    Gorrieri, R.2    Ferigato, C.3
  • 7
    • 35048832336 scopus 로고    scopus 로고
    • A Survey on NonInterference with Petri Nets
    • Springer LNCS
    • N. Busi and R. Gorrieri, "A Survey on NonInterference with Petri Nets", Advanced Course on Petri Nets 2003, Springer LNCS 3098:328-344, (2004).
    • (2004) Advanced Course on Petri Nets 2003 , vol.3098 , pp. 328-344
    • Busi, N.1    Gorrieri, R.2
  • 8
    • 84988393004 scopus 로고    scopus 로고
    • Classification of Security Properties (Part I: Information Flow)
    • (R. Focardi and R.Gorrieri, Eds.), Springer LNCS
    • R. Focardi and R. Gorrieri, "Classification of Security Properties (Part I: Information Flow)", Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R.Gorrieri, Eds.), Springer LNCS 2171: 331-396, (2001).
    • (2001) Foundations of Security Analysis and Design - Tutorial Lectures , vol.2171 , pp. 331-396
    • Focardi, R.1    Gorrieri, R.2
  • 10
    • 84974776068 scopus 로고
    • A Classification of Security Properties
    • R. Focardi and R. Gorrieri, "A Classification of Security Properties", Journal of Computer Security, vol. 3, no. 1, (1995), pp. 5-33.
    • (1995) Journal of Computer Security , vol.3 , Issue.1 , pp. 5-33
    • Focardi, R.1    Gorrieri, R.2
  • 11
    • 18944393517 scopus 로고    scopus 로고
    • On the Composition of Security Properties
    • Ph.D. dissertation, University of Toronto, Toronto, Ontario
    • A. Zakinthinos, "On the Composition of Security Properties", Ph.D. dissertation, University of Toronto, Toronto, Ontario, (1996).
    • (1996)
    • Zakinthinos, A.1


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