Luigi Logrippo

From MaRDI portal



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!

PublicationDate of PublicationType
Multi-level Access Control, Directed Graphs and Partial Orders in Flow Control for Data Secrecy and Privacy
Foundations and Practice of Security
2022-12-09Paper
Data flow analysis from capability lists, with application to RBAC
Information Processing Letters
2018-11-09Paper
scientific article; zbMATH DE number 5181791 (Why is no real title available?)2007-08-22Paper
Distributed resolution of feature interactions for internet applications
Computer Networks
2006-12-14Paper
Three tutorial papers on protocol specification, validation, and design
Computer Networks and ISDN Systems
1993-01-16Paper
An interpreter for LOTOS, a specification language for distributed systems
Software: Practice and Experience
1988-01-01Paper
File Structures, Program Structures, and Attributed Grammars
IEEE Transactions on Software Engineering
1983-01-01Paper
Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata
Journal of the ACM
1979-01-01Paper
Renamings and Economy of Memory in Program Schemata
Journal of the ACM
1978-01-01Paper


Research outcomes over time


This page was built for person: Luigi Logrippo