Franco Arcieri

Orcid: 0000-0003-1419-8954

According to our database1, Franco Arcieri authored at least 38 papers between 1993 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Blockchain based PKI Validation System based on Rare Events Management.
Future Internet, 2020

2018
Identity Management, Access Control and Privacy in Integrated Care Platforms: The PICASO Project.
Proceedings of the 2018 International Carnahan Conference on Security Technology, 2018

2016
Online and offline conformance checking of inter-organizational business processes with incomplete process logs.
Proceedings of the IEEE International Carnahan Conference on Security Technology, 2016

Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information.
Proceedings of the IEEE International Carnahan Conference on Security Technology, 2016

2015
Providing online operational support for distributed, security sensitive electronic business processes.
Proceedings of the International Carnahan Conference on Security Technology, 2015

2013
Simulation based verification of concurrent processing on security devices.
Proceedings of the IEEE International Systems Conference, 2013

Providing context-based security for inter-organizational electronic business processes.
Proceedings of the IEEE Conference on Communications and Network Security, 2013

2012
Secure Messaging Implementation in OpenSC.
J. Information Security, 2012

Interleaving Command Sequences: a Threat to Secure Smartcard Interoperability
CoRR, 2012

Interleaving Commands: a Threat to the Interoperability of Smartcard Based Security Applications
CoRR, 2012

State space blow-up in the verification of secure smartcard interoperability.
Proceedings of the IEEE International Carnahan Conference on Security Technology, 2012

2011

2008
Verifying Extended Criteria for the Interoperability of Security Devices.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

2005
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone.
Proceedings of the Electronic Government: 4th International Conference, 2005

2004
A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services.
Proceedings of the 14th International Workshop on Research Issues in Data Engineering (RIDE-WS-ECEG 2004), 2004

A Specification for Security Services on Computational Grids.
Proceedings of the Grid Services Engineering and Management, 2004

Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet.
Proceedings of the Electronic Government: Third International Conference, 2004

The Italian Electronic Identity Card: a short introduction.
Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004

2003
Certifying performance of cooperative services in a digital government framework.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

Inter-Organizational E-Services Accounting Management on Computational Grids.
Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

2002
Coherence Maintainance in Cooperative Information Systems: The Access Key Warehouse Approach.
Int. J. Cooperative Inf. Syst., 2002

A Reference Architecture for the Certification of E-Services in a Digital Government Infrastructure.
Distributed Parallel Databases, 2002

Experiences and issues in the realization of e-government services.
Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

E-Government Services: Certification and Security Overlay.
Proceedings of the Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17<sup>th</sup> World Computer Congress, 2002

2001
Keeping coherence among web sources.
Proceedings of the 3rd International Workshop on Web Information and Data Management (WIDM 2001), 2001

Distributed Territorial Data Management and Exchange for Public Organizations.
Proceedings of the Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS '01), 2001

SIM: a working example of an e-government service infrastructure for mountain cummunities (extended abstract).
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

1999
The Italian Cadastral Information System: a Real-Life Spatio-Temporal DBMS.
Proceedings of the Spatio-Temporal Database Management, 1999

SICC: An Exchange System for Cadastral Information.
Proceedings of the Advances in Spatial Databases, 1999

Access Keys Warehouse: A New Approach to the Development of Cooperative Information Systems.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1994
CARTECH: A Prototype of Geographical Information System.
Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994

Environments for Land Development: Issues and Design Guidelines.
Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994

A Computer Aided System for Developing Graphical Telematic Applications.
Proceedings of the Computer Aided System Theory, 1994

1993
Un Modello di Riferimento per l'Interazione con Sistemi per la Gestione di Dati Geografici.
Proceedings of the Convegno SEBD'93, 1993

The GeoSQL Language for the Manipulation of Geographical Data.
Proceedings of the Computing and Information, 1993

A Prototyping and Development Environment for Graphical Interactive Telematic Applications.
Proceedings of the Human-Computer Interaction: Applications and Case Studies, 1993

HERMES: An Integrated Approach to Modelling Data Base Systems Design.
Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

Requirements and Design Issues of Spatial Data Handling Systems.
Proceedings of the Advances in Database Systems: Implementations and Applications, 1993


  Loading...