Abstract

Formal verification of security pattern composition: application to SCADA

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Automated verification of security pattern compositions
Jing Dong ... Tu Peng
Information and Software Technology | VOL. 52
Jing Dong, et. al.Jing Dong ... Tu Peng
14 Oct 2009
Compositional Verification of Stigmergic Collective Systems
Frédéric Lang ... Luca Di Stefano
-
Frédéric Lang, et. al.Frédéric Lang ... Luca Di Stefano
01 Jan 2023
Modeling and Verification of Web Services Composition based on CPN
Hui Kang ... Xiuli Yang
-
Hui Kang, et. al.Hui Kang ... Xiuli Yang
01 Sep 2007
Modeling and Verification of Web Services Composition based on CPN
Sinmiao Yuan ... Xiuli Yang
-
Sinmiao Yuan, et. al.Sinmiao Yuan ... Xiuli Yang
01 Sep 2007
View more papers

More From: HAL (Le Centre pour la Communication Scientifique Directe)

Paper Title
Journal
Date
Author
Type Isomorphisms for Multiplicative-Additive Linear Logic
...
HAL (Le Centre pour la Communication Scientifique Directe) | VOL. -
, et. al. ...
03 Jul 2023
On Distances between Words with Parameters
...
HAL (Le Centre pour la Communication Scientifique Directe) | VOL. -
, et. al. ...
26 Jun 2023
Le Mans (Sarthe), Jardins de la cathédrale, histoire et archéologie des abords de la cathédrale Saint-Julien
...
HAL (Le Centre pour la Communication Scientifique Directe) | VOL. -
, et. al. ...
22 Jun 2023
Vieillissement de la population et réchauffement climatique au 21e siècle : une crise en perspective ?
HAL (Le Centre pour la Communication Scientifique Directe) | VOL. -
21 Jun 2023
View more papers