Role Based Petri Net : 공격 시나리오의 효율적 설계를 위한 역할 기반 표현 모델
Role Based Petri-Net : Role Based Expression Model for an Efficient Design of Attack Scenarios
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Graph expression of attack scenarios is a necessary method for analysis of vulnerability in server as well as the design for defence against attack. Although various requirement analysis model are used for this expression, they are restrictive to express combination of complex scenarios. Role Based Petri Net suggested in this paper offer an efficient expression model based role on Petri Net which has the advantage of concurrency and visuality and can create unknown scenarios.
Abstract
Graph expression of attack scenarios is a necessary method for analysis of vulnerability in server as well as the design for defence against attack. Although various requirement analysis model are used for this expression, they are restrictive to express combination of complex scenarios. Role Based Petri Net suggested in this paper offer an efficient expression model based role on Petri Net which has the advantage of concurrency and visuality and can create unknown scenarios.
참고문헌 (9)
- R.Beresh, "Basic fault tree analysis for use in protection reliability", International Journal of Reliability and Safety, 2(1), pp.64~78 (2008)
- C.Girault, "Petri Nets for Systems Engineering", pp.597~ (2002), Springer-Verlag
- G.Helmer, "Software Fault Tree and Colored Petri Net Based Specification,Design and Implementation of Agent-Based Intrusion Detection System", Int.J.Information and Computer Security, 1(1), pp.109~142 (2007)
- T.Murata, "Petri Nets:Properties,Analysis and Applications", Proceedings of IEEE, 77(4), pp.541~580 (1989)
- K.Jensen, "Coloured Petri nets:basic concepts,analysis methods,and practical use,Volume 3", pp.265~ (1997), Spinger-Verglag
- 홍장의, "객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증", 정보과학회논문지, 27(2), pp.157~167 (2000)
- Y.Ru, "Finite Capacity Place Method Based Deadlock Prevention Algorithm", Journal of System Simulation, 15, pp.59~62 (2003)
- P.Baldan, "Functorial concurrent semantics for Petri nets with read and inhibitor arcs", Proceedings of the 11th International Conference on Concurrency Theory,LNCS 1877, pp.442~457 (2000)
- F.D.J.Bowden, "Application of a Role-Based Methodology to Represent Command and Control Processes Using Extended Petri Nets", IEEE International Conference on Systems,Man and Cybernetics, pp.4348~4353 (1997)