Luigi Vincenzo Mancini

Available identifiers

Publication	Date of Publication	Type
Deadlock Detection in the Face of Transaction and Data Dependencies	2022-12-09	Paper
A Formal Model for Role-Based Access Control Using Graph Transformation	2022-03-07	Paper
Decidability of Safety in Graph-Based Models for Access Control	2022-02-16	Paper
\textsc{The Naked Sun}: malicious cooperation between benign-looking processes	2021-02-23	Paper
Data Security in Unattended Wireless Sensor Networks	2017-08-08	Paper
Efficient and adaptive threshold signatures for ad hoc networks	2013-12-06	Paper
Graph Transformations for the Specification of Access Control Policies	2013-05-24	Paper
A FUNDAMENTAL EQUATION FOR SUPERMASSIVE BLACK HOLES	2013-04-30	Paper
The SMBH mass versus \(M_{\text G} \sigma ^{2}\) relation: a comparison between real data and numerical models	2011-05-25	Paper
Sec-TMP: A Secure Topology Maintenance Protocol for Event Delivery Enforcement in WSN	2010-04-24	Paper
Graph-based specification of access control policies	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4738228	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4794429	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2769436	2002-02-05	Paper
Two implementation relations and the correctness of communicating replicated processes	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3814784	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811693	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3802600	1988-01-01	Paper
Modular redundancy in a message passing system	1986-01-01	Paper

This page was built for person: Luigi Vincenzo Mancini