Luigi Logrippo

From MaRDI portal
(Redirected from Person:856928)



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