引用次数
引用: 1,254
H-指数: 16
I10-指数 : 26
出版物: 76
EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
IVAN CIBRARIO BERTOLOTTI , LUCA DURANTE , RICCARDO SISTO , ADRIANO VALENZANO
International Journal of Foundations of Computer Science 17 ( 04) 815 -832
1
2006
Dynamic Data Management in STEP
Adriano Valenzano , Luca Durante , Riccardo Sisto
32th ISATA Int. Conf. 231 -238
1999
Esercizi di Fondamenti di Informatica
Elio Piccolo , Adriano Valenzano , Luca Durante , Riccardo Sisto
UTET Libreria 1 -313
1997
Graphic LOTOS specification of an EN50254 system
Luca Durante , Riccardo Sisto , Adriano Valenzano ,
Electrónica e Telecomunicações 3 ( 1) 43 -46
2000
A LOTOS Specification of the SERCOS Field-bus Protocol
Adriano Valenzano , Luca Durante , Riccardo Sisto
software engineering and knowledge engineering 139 -147
1
1994
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks
Lucia Seno , Adriano Valenzano , Luca Durante
IEEE Transactions on Information Forensics and Security 16 2637 -2651
2021
Automatic detection of attacks on cryptographic protocols: a case study
Ivan Cibrario B. , Luca Durante , Riccardo Sisto , Adriano Valenzano
international conference on detection of intrusions and malware and vulnerability assessment 3548 69 -84
3
2005
System configuration check against security policies in industrial networks
Manuel Cheminod , Luca Durante , Adriano Valenzano
international symposium on industrial embedded systems 247 -265
5
2012
Analysis of access control policies in networked embedded systems: A case study
Manuel Cheminod , Luca Durante , Lucia Seno , Adriano Valenzano
international symposium on industrial embedded systems 1 -10
4
2015
Exploiting symmetries for testing equivalence in the Spi calculus
Ivan Cibrario B. , Luca Durante , Riccardo Sisto , Adriano Valenzano
automated technology for verification and analysis 3299 135 -149
3
2004
Efficient representation of the attacker’s knowledge in cryptographic protocols analysis
Ivan Cibrario Bertolotti , Luca Durante , Riccardo Sisto , Adriano Valenzano
Formal Aspects of Computing 20 ( 3) 303 -348
1
2008
Toward attribute-based access control policy in industrial networked systems
Manuel Cheminod , Luca Durante , Fulvio Valenza , Adriano Valenzano
international workshop on factory communication systems 1 -9
3
2018
Leveraging SDN to improve security in industrial networks
Manuel Cheminod , Luca Durante , Lucia Seno , Fulvio Valenza
international workshop on factory communication systems 1 -7
10
2017
Automated fixing of access policy implementation in Industrial Networked Systems
Manuel Cheminod , Luca Durante , Lucia Seno , Fulvio Valenza
international workshop on factory communication systems 1 -9
2
2017
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
Ivan Cibario Bertolotti , Luca Durante , Riccardo Sisto , Adriano Valenzano
formal techniques for networked and distributed systems 2767 224 -239
4
2003
Performance impact of commercial industrial firewalls on networked control systems
Manuel Cheminod , Luca Durante , Adriano Valenzano , Claudio Zunino
emerging technologies and factory automation 1 -8
6
2016
Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution
Marco Cereia , Ivan Cibrario Bertolotti , Luca Durante , Adriano Valenzano
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) 1 -8
8
2014
System-level performance of an automation solution based on industry standards
Andrea Ballarino , Alessandro Brusaferri , Marco Cereia , Ivan Cibrario Bertolotti
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) 1 -6
3
2014
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification
Luca Durante , Riccardo Sisto , Adriano Valenzano
formal techniques for networked and distributed systems 155 -170
15
2000
A unified class model for checking security policies in ICT infrastructures
Ivan Cibrario Bertolotti , Luca Durante , Tingting Hu , Adriano Valenzano
ieee aess european conference on satellite telecommunications 1 -6
6
2012