VALENZANO, ADRIANO

VALENZANO, ADRIANO  

002490  

Mostra records
Risultati 1 - 20 di 76 (tempo di esecuzione: 0.023 secondi).
Citazione Data di pubblicazione Autori File
A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] 1-gen-2019 Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + main.pdf1-s2.0-S0167404818303870-main.pdf
A Distributed Operating System for Object-Based Machines / Rivoira, Silvano; Valenzano, Adriano. - (1984), pp. 46-50. ((Intervento presentato al convegno 1984 IEEE Int. Conf. on Parallel Processing tenutosi a Bellaire, Michigan. 1-gen-1984 RIVOIRA, SilvanoVALENZANO, ADRIANO -
A Formalization Of The FIP Protocol Using Estelle / Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1992), pp. 348-353. ((Intervento presentato al convegno IEEE International Workshop on Emerging Technologies and Factory Automation tenutosi a Melbourne, Australia nel 11-14 August 1992 [10.1109/ETFA.1992.683278]. 1-gen-1992 SISTO, RiccardoVALENZANO, ADRIANO -
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. ((Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991 [10.1109/CMPEUR.1991.257446]. 1-gen-1991 CIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. ((Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June. 1-gen-1994 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 11:1(2015), pp. 83-93. [10.1109/TII.2014.2365153] 1-gen-2015 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO TII_j_can_crc_Early_Access.pdf06936873.pdf
A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. ((Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013. 1-gen-2013 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO Durante13_ICS_CSR.pdf
A Model for the Analysis of Security Policies in Service Function Chains / Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). ((Intervento presentato al convegno Second IEEE International Workshop on Security in NFV-SDN (SNS2017) tenutosi a BOLOGNA (IT) [10.1109/NETSOFT.2017.8004230]. 1-gen-2017 DURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + 08004230.pdf2017SNS_author.pdf
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. ((Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000. 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534]. 1-gen-1993 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - In: RIVISTA DI INFORMATICA. - ISSN 0390-668X. - STAMPA. - 25:3(1995), pp. 195-214. 1-gen-1995 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. ((Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications [10.1109/ESTEL.2012.6400068]. 1-gen-2012 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO Durante12_ESTEL.pdf
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS / Ciminiera, Luigi; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS. - ISSN 0278-0046. - 35:(1988), pp. 307-316. 1-gen-1988 CIMINIERA, LuigiVALENZANO, ADRIANO -
Advanced Microprocessor Architectures / Ciminiera, Luigi; Valenzano, Adriano. - STAMPA. - (1987), pp. 1-476. 1-gen-1987 CIMINIERA, LuigiVALENZANO, ADRIANO -
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 / Demartini, Claudio Giovanni; Valenzano, Adriano; Rivoira, Silvano. - (1997), pp. 117-126. ((Intervento presentato al convegno 41° Convegno Nazionale ANIPLA tenutosi a Torino. 1-gen-1997 DEMARTINI, Claudio GiovanniVALENZANO, ADRIANORIVOIRA, Silvano -
Authentication mechanisms in microprocessor-based local area networks / Ciminiera, Luigi; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - v:(1992), pp. 654-658. 1-gen-1992 CIMINIERA, LuigiVALENZANO, ADRIANO -
Automated Fixing of Access Policy Implementation in Industrial Networked Systems / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). ((Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2 [10.1109/WFCS.2017.7991947]. 1-gen-2017 CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + 2017WFCS_ACP.pdf2017WFCS_ACP_author.pdf
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks / Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 205-211. ((Intervento presentato al convegno 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, AZ, USA nel 28-31 March 1995 [10.1109/PCCC.1995.472490]. 1-gen-1995 CENA, GianlucaDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES / Ciminiera, Luigi; Demartini, Claudio Giovanni; Valenzano, Adriano. - 1:(1987), pp. 21-30. ((Intervento presentato al convegno Proceedings of the Hawaii International Conference on System Science nel 1987. 1-gen-1987 CIMINIERA, LuigiDEMARTINI, Claudio GiovanniVALENZANO, ADRIANO -
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS / Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi. - STAMPA. - (1991), pp. 346-352. ((Intervento presentato al convegno Tenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, Arizona, USA nel March 1991 [10.1109/PCCC.1991.113832]. 1-gen-1991 VALENZANO, ADRIANOSISTO, RiccardoCIMINIERA, Luigi -