Verification of Generic Ubiquitous Middleware for Smart Home Using Coloured Petri Nets

Madhusudanan, J.; Anand, Prateek; Hariharan, Senthil; Venkatesan, V. Prasanna

doi:10.5815/ijitcs.2014.10.09

Cited by 2 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri Nets discrete event systems (DES) [11] are working models whose simulation can be observed by Petri Net simulators while mathematically its design correctness of requirements can be proven. So, the mathematical graphical language [16] used to analyze the behavior and properties of the system.…”

Section: Petri Nets An-overviewmentioning

confidence: 99%

“…Colored Petri Nets (CPNs) [6,16] which is an extended version of Petri Nets and are usually used in system modeling, editing, simulating the concurrent systems and analyzing their properties. The major advantages [16] of using CPNs simulation are to gain insight, analysis and specification, and to describe concurrent behavior and interaction behavior of a complex real-time system, which is particularly significant for a safety-critical system. CPNs mainly focus on synchronization, concurrency and asynchronous events [4].…”

Section: B Web Security Using Colored Petri Netsmentioning

confidence: 99%

See 1 more Smart Citation

Verification of Web Content Integrity: Detection and Recovery Security Approach using Colored Petri Nets

Hijazi¹,

Hudaib²

2018

IJCNIS

View full text Add to dashboard Cite

This paper focuses on the design model verification processes to reduce modification cost after the software is delivered. We proposed a new design flow of web content integrity to protect web security by using colored petri nets simulation. The method covers the design process from the firewall stage to the recovery stage. In the proposed solution, the model verified the integrity of web content through detection tampering and recovery web content processes. Furthermore, the specification formally verifies the model checking technique by colored Petri nets formalism. Finally, the model is simulated by colored petri nets to insure the correct behavior of the designed web content integrity model.

show abstract

Section: Petri Nets An-overviewmentioning

confidence: 99%