Review of Security Issues in Industrial Networks von Cheminod, M., Durante, L., Valenzano, A.

Volltext

A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks von Durante, Luca, Seno, Lucia, Valenzano, Adriano

Volltext

Performance Evaluation and Modeling of an Industrial Application-Layer Firewall von Cheminod, Manuel, Durante, Luca, Seno, Lucia, Valenzano, Adriano

Volltext

Semiautomated Verification of Access Control Implementation in Industrial Networked Systems von Cheminod, Manuel, Durante, Luca, Seno, Lucia, Valenzano, Adriano

Volltext

A comprehensive approach to the automatic refinement and verification of access control policies von Cheminod, Manuel, Durante, Luca, Seno, Lucia, Valenza, Fulvio, Valenzano, Adriano

Volltext

A Methodological Approach to Securing Cyber-Physical Systems for Critical Infrastructures von Calabrò, Antonello, Cambiaso, Enrico, Cheminod, Manuel, Bertolotti, Ivan Cibrario, Durante, Luca, Forestiero, Agostino, Lombardi, Flavio, Manco, Giuseppe, Marchetti, Eda, Orlando, Albina, Papuzzo, Giuseppe

Volltext

Detection of attacks based on known vulnerabilities in industrial networked systems von Cheminod, Manuel, Durante, Luca, Seno, Lucia, Valenzano, Adriano

Volltext

Coaxial PCL/PEG-thiol-ene microfiber with tunable physico-chemical properties for regenerative scaffolds von Iglesias-Echevarria, Monica, Durante, Luca, Johnson, Richard, Rafuse, Michael, Ding, Yonghui, Bonani, Walter, Maniglio, Devid, Tan, Wei

Volltext

A twofold model for the analysis of access control policies in industrial networked systems von Cibrario Bertolotti, Ivan, Durante, Luca, Seno, Lucia, Valenzano, Adriano

Volltext

Detecting Chains of Vulnerabilities in Industrial Networks von Cheminod, M., Bertolotti, I.C., Durante, L., Maggi, P., Pozza, D., Sisto, R., Valenzano, A.

Volltext

Tools for cryptographic protocols analysis: A technical and experimental comparison von Cheminod, Manuel, Cibrario Bertolotti, Ivan, Durante, Luca, Sisto, Riccardo, Valenzano, Adriano

Volltext

Automatic testing equivalence verification of spi calculus specifications von Durante, Luca, Sisto, Riccardo, Valenzano, Adriano

Volltext

Improving the security of industrial networks by means of formal verification von Cibrario Bertolotti, Ivan, Durante, Luca, Maggi, Paolo, Sisto, Riccardo, Valenzano, Adriano

Volltext

Automatic detection of attacks on cryptographic protocols : A case study von CIBRARIO B, Ivan, DURANTE, Luca, SISTO, Riccardo, VALENZANO, Adriano

Volltext

Modeling Emergency Response Plans with Coloured Petri Nets von Cheminod, Manuel, Bertolotti, Ivan Cibrario, Durante, Luca, Valenzano, Adriano

Volltext

Efficient representation of the attacker’s knowledge in cryptographic protocols analysis von Bertolotti, Ivan Cibrario, Durante, Luca, Sisto, Riccardo, Valenzano, Adriano

Volltext

Exploiting symmetries for testing equivalence in the Spi calculus von CIBRARIO B, Ivan, DURANTE, Luca, SISTO, Riccardo, VALENZANO, Adriano

Volltext

Automated fixing of access policy implementation in Industrial Networked Systems von Cheminod, Manuel, Durante, Luca, Seno, Lucia, Valenza, Fulvio, Valenzano, Adriano

Volltext

Introducing commutative and associative operators in cryptographic protocol analysis von CIBARIO BERTOLOTTI, Ivan, DURANTE, Luca, SISTO, Riccardo, VALENZANO, Adriano

Volltext

A new CAN-like field network based on a star topology von Cena, Gianluca, Durante, Luca, Valenzano, Adriano

Volltext