Secure interoperation design in multi-domains environments based on colored Petri nets

Huang, Hejiao; Kirchner, Hélène

doi:10.1016/j.ins.2012.09.027

Cited by 26 publications

(10 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Content leakage is the major problem of sharing between distributed domains. Hejiao Huang, Helene Kirchner [4] clearly mentioned the access control policies, which integrated that allow users of one company to interact with other domains. The main challenge of policy integration is detecting the conflicts.…”

Section: Related Workmentioning

confidence: 99%

“…The main challenge of policy integration is detecting the conflicts. They use the designing model called colored Petri nets for identifying and verifying a secure interoperation design [4]. This model is helpful in our proposed model for verifying policy integration and yet it is major challenging issue because of frequent changes in dynamic environment.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Secure Interoperation Model for Different User Authentication System using Multi Level Security (MLS)

Muthukumaran¹

2015

International Journal of Advanced Research in Computer and Comm

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Secure Interoperation Model for Different User Authentication System using Multi Level Security (MLS)

Muthukumaran¹

2015

International Journal of Advanced Research in Computer and Comm

View full text Add to dashboard Cite

“…Coloured Petri net (CPN) [25][26][27][28], in which groups of objects is thus distinguished by colour, inherits all the advantages of classical Petri net. e wide practical application distributes on the direction of distributed control systems [29] and domains environments [30]. Recently, a novel of theoretical results has been done on the application of Petri nets for NCSs [31,32].…”

Section: Introductionmentioning

confidence: 99%

Modeling and Analysis of Network Control System Based on Hierarchical Coloured Petri Net and Markov Chain

Wang

Sun

et al. 2021

Discrete Dynamics in Nature and Society

View full text Add to dashboard Cite

This paper investigates a modified modeling of networked control systems (NCSs) with programmable logic controller (PLC). First, the controller-to-actuator and sensor-to-controller network-induced delays are investigated by a modeling tactics based on hierarchical coloured petri net (HCPN) in a structure-conserving way. Comparing with the recent result, the signal transmission delay is set in a random interval instead of a fixed mode; moreover, the data packet drop out and disorder are also taken into consideration. Second, delays captured form CPN tools are analyzed with a strategy based on Baum–Welch algorithm and statistics science. Besides, time delays are modeled as a Markov chain and the transition probabilities is calculated using the consequent from the previous operation. Finally, a comparison verification illustrates the equivalence property between proposed models.

show abstract

“…In the cross-domain created via role mapping, several constraints in the local domain may be ignored. They cause the following: 1-Role hierarchy violation: if two roles have no inheritance relation in the local domain but there is a path in hierarchy of the crossing domain between them [1,2,4].…”

Section: Introductionmentioning

confidence: 99%

“…* Correspondence: motameni@iausari.ac.ir 3-Cardinality: in RBAC, we can consider a numerical restriction for every user or role. For example, a user u with cardinality u n means that the number of roles simultaneously authorized for u cannot exceed u n while role r with cardinalityr n means that the number of users simultaneously assigned to r cannot exceed r n [1,6].…”

Section: Introductionmentioning

confidence: 99%

Secure access control in multidomain environments and formal analysis of model specifications

Nazerian¹,

Motameni²,

Nematzadeh³

2018

Turk J Elec Eng & Comp Sci

View full text Add to dashboard Cite

Distributed multiple organizations interact with each other. If the domains employ role-based access control, one method for interaction between domains is role-mapping. However, it may violate constraints in the domains such as role hierarchy, separation of duty, and cardinality. Therefore, autonomy of the domains is lost. This paper proposes secure interoperation in multidomain environments. For this purpose, a cross-domain is created by foreign permission assignment. In an effort to maintain the autonomy of every domain, several rules are defined formally. Then, a decentralized scheme is used to provide permission mapping between domains. At the next stage, the proposed crossdomain is specified using Alloy, the first logic language. Subsequently, validity of the rules is analyzed through Alloy analyzer.

show abstract

Secure interoperation design in multi-domains environments based on colored Petri nets

Cited by 26 publications

References 27 publications

Secure Interoperation Model for Different User Authentication System using Multi Level Security (MLS)

Secure Interoperation Model for Different User Authentication System using Multi Level Security (MLS)

Modeling and Analysis of Network Control System Based on Hierarchical Coloured Petri Net and Markov Chain

Secure access control in multidomain environments and formal analysis of model specifications

Contact Info

Product

Resources

About