Luigi Vincenzo Mancini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2022-03-07	Paper
Decidability of safety in graph-based models for access control Computer Security — ESORICS 2002	2022-02-16	Paper
\textsc{The Naked Sun}: malicious cooperation between benign-looking processes (available as arXiv preprint)	2021-02-23	Paper
Data Security in Unattended Wireless Sensor Networks IEEE Transactions on Computers	2017-08-08	Paper
Efficient and adaptive threshold signatures for ad hoc networks Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Graph transformations for the specification of access control policies Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
A fundamental equation for supermassive black holes International Journal of Modern Physics D	2013-04-30	Paper
The SMBH mass versus \(M_{\text G} \sigma ^{2}\) relation: a comparison between real data and numerical models General Relativity and Gravitation	2011-05-25	Paper
Sec-TMP: A secure topology maintenance protocol for event delivery enforcement in WSN Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering	2010-04-24	Paper
Graph-based specification of access control policies Journal of Computer and System Sciences	2005-08-05	Paper
scientific article; zbMATH DE number 2087433 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1869805 (Why is no real title available?) Distributed and Parallel Databases	2003-02-17	Paper
scientific article; zbMATH DE number 1701357 (Why is no real title available?)	2002-02-05	Paper
Two implementation relations and the correctness of communicating replicated processes Formal Aspects of Computing	1997-08-07	Paper
scientific article; zbMATH DE number 4084994 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4080894 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4070296 (Why is no real title available?)	1988-01-01	Paper
Modular redundancy in a message passing system IEEE Transactions on Software Engineering	1986-01-01	Paper

Research outcomes over time

This page was built for person: Luigi Vincenzo Mancini