| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniele Riboni, Antonio Villani, Domenico Vitali, Claudio Bettini, Luigi V. Mancini |
Obfuscation of sensitive data in network flows.  |
INFOCOM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia |
Securing Topology Maintenance Protocols for Sensor Networks. |
IEEE Trans. Dependable Sec. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini |
Secure topology maintenance and events collection in WSNs. |
Security and Communication Networks |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi Vincenzo Mancini, Alessandro Mei |
Distributed Detection of Clone Attacks in Wireless Sensor Networks. |
IEEE Trans. Dependable Sec. Comput. |
2011 |
DBLP DOI BibTeX RDF |
node replication attack detection, efficiency, resilience, distributed protocol, Wireless sensor networks security |
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Hierarchies of keys in secure multicast communications. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi |
eRIPP-FS: Enforcing privacy and security in RFID. |
Security and Communication Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei |
The smallville effect: social ties make mobile networks more secure against node capture attack. |
MOBIWAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhang 0004, Honggang Zhang, Mauro Conti, Roberto Di Pietro, Sushil Jajodia, Luigi Vincenzo Mancini |
Reverse Tree-based Key Routing: Robust Data Aggregation in Wireless Sensor Networks. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Attack-Resilient, Privacy, Data Aggregation, Sensor Network Security, Hierarchical Aggregation |
| 1 | Mauro Conti, Lei Zhang 0004, Sankardas Roy, Roberto Di Pietro, Sushil Jajodia, Luigi V. Mancini |
Privacy-preserving robust data aggregation in wireless sensor networks. |
Security and Communication Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik |
Data Security in Unattended Wireless Sensor Networks. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Distributed data source verification in wireless sensor networks. |
Information Fusion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei |
The Smallville Effect: Social Ties Make Mobile Networks More Secure Against the Node Capture Attack |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Mobility and Cooperation to Thwart Node Capture Attacks in MANETs. |
EURASIP J. Wireless Comm. and Networking |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik |
Playing hide-and-seek with a focused mobile adversary in unattended wireless sensor networks. |
Ad Hoc Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei |
The Quest for Mobility Models to Analyse Security in Mobile Ad Hoc Networks. |
WWIC |
2009 |
DBLP DOI BibTeX RDF |
wireless Ad Hoc networks security, node capture attack detection, mobility models, resilience, distributed protocol |
| 1 | Andrea Gabrielli, Mauro Conti, Roberto Di Pietro, Luigi V. Mancini |
Sec-TMP: A Secure Topology Maintenance Protocol for Event Delivery Enforcement in WSN. |
SecureComm |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishwas Patil, Paolo Gasti, Luigi V. Mancini, Giovanni Chiola |
Resource Management with X.509 Inter-domain Authorization Certificates (InterAC). |
EuroPKI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini |
Special Issue: Hot Topics in Peer-to-Peer Systems. |
Concurrency and Computation: Practice and Experience |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Ateniese, Roberto Di Pietro, Luigi V. Mancini, Gene Tsudik |
Scalable and Efficient Provable Data Possession. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik |
Maximizing data survival in Unattended Wireless Sensor Networks against a focused mobile adversary. |
IACR Cryptology ePrint Archive |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan |
Redoubtable Sensor Networks. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
Wireless sensor network, connectivity, random graphs, probabilistic key sharing |
| 1 | Roberto Battistoni, Alessandro Di Biagio, Roberto Di Pietro, Matteo Formica, Luigi V. Mancini |
A Live Digital Forensic system for Windows networks. |
SEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik |
Catch Me (If You Can): Data Survival in Unattended Sensor Networks. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
Data Survival, UWSN, WSN, Sensor Networks |
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Emergent properties: detection of the node-capture attack in mobile wireless sensor networks. |
WISEC |
2008 |
DBLP DOI BibTeX RDF |
node capture attack detection, node revocation, efficiency, resilience, distributed protocol, wireless sensor network security |
| 1 | Giorgio Zanin, Roberto Di Pietro, Luigi V. Mancini |
Robust RSA distributed signatures for large-scale long-lived ad hoc networks. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Giorgio Zanin |
Efficient and Adaptive Threshold Signatures for Ad hoc networks. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Di Crescenzo, Luigi V. Mancini |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini |
ECCE: Enhanced cooperative channel establishment for secure pair-wise communication in wireless sensor networks. |
Ad Hoc Networks |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Towards threat-adaptive dynamic fragment replication in large scale distributed systems. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi |
RIPP-FS: An RFID Identification, Privacy Preserving Protocol with Forward Secrecy. |
PerCom Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Gabrielli, Luigi V. Mancini |
Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks. |
BIOWIRE |
2007 |
DBLP DOI BibTeX RDF |
Security, Wireless Networks, Bio-Inspired |
| 1 | Vishwas Patil, Alessandro Mei, Luigi V. Mancini |
Addressing interoperability issues in access control models. |
ASIACCS |
2007 |
DBLP DOI BibTeX RDF |
access control, interoperability, chameleon hash, name spaces |
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
A randomized, efficient, and distributed protocol for the detection of node replication attacks in wireless sensor networks. |
MobiHoc |
2007 |
DBLP DOI BibTeX RDF |
node replication attack detection, efficiency, resilience, distributed protocol, wireless sensor networks security |
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Energy efficient node-to-node authentication and communication confidentiality in wireless sensor networks. |
Wireless Networks |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic authentication, Wireless sensor networks, Key management, Confidentiality, Energy saving, Information leakage |
| 1 | Maria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia |
A robust watermarking system based on SVD compression. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
singular value decomposition, image compression, digital watermarking |
| 1 | Mauro Conti, Roberto Di Pietro, Luigi V. Mancini |
Secure Cooperative Channel Establishment inWireless Sensor Networks. |
PerCom Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan |
Sensor Networks that Are Provably Resilient. |
SecureComm |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Zanin, Alessandro Mei, Luigi V. Mancini |
A Secure and Efficient Large Scale Distributed System for Data Sharing. |
ICDCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil |
Addressing the shortcomings of one-way chains. |
ASIACCS |
2006 |
DBLP DOI BibTeX RDF |
one-way chain, secure group management for multicast, chameleon hash |
| 1 | Alan A. Bertossi, Luigi V. Mancini, Alessandra Menapace |
Scheduling Hard-Real-Time Tasks with Backup Phasing Delay. |
DS-RT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Graph-based specification of access control policies. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil |
Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. |
SecureComm |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia |
Securing Topology Maintenance Protocols for Sensor Networks. |
SecureComm |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Calagna, Luigi V. Mancini |
A Blind Method for Digital Watermarking Attacks. |
EuroIMSA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Key management for high bandwidth secure multicast. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan |
Connectivity properties of secure wireless sensor networks. |
SASN |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, connectivity, key management, random graphs, probabilistic key sharing |
| 1 | Angelo Spognardi, Roberto Di Pietro, Luigi V. Mancini |
BaRT, balanced randomized tree: a scalable and distributed protocol for lookup in peer-to-peer networks. |
HOT-P2P |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Efficient and Resilient Key Discovery Based on Pseudo-Random Key Pre-Deployment. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Administrative scope in the graph-based framework. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
role-based access control, graph transformations, administration |
| 1 | Giorgio Zanin, Luigi V. Mancini |
Towards a formal model for security policies specification and validation in the selinux system. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
security enhanced linux, configuration, formal model |
| 1 | Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce |
Information Flow Analysis for File Systems and Databases Using Labels. |
DBSec |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Battistoni, Emanuele Gabrielli, Luigi V. Mancini |
A Host Intrusion Prevention System for Windows Operating Systems. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Zanin, Alessandro Mei, Luigi Vincenzo Mancini |
Towards a secure dynamic allocation of files in large scale distributed file systems. |
HOT-P2P |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Mei, Luigi V. Mancini, Sushil Jajodia |
Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2003 |
DBLP DOI BibTeX RDF |
File system security, peer-to-peer algorithms, distributed systems, replication, fragmentation, assurance |
| 1 | Roberto Di Pietro, Luigi V. Mancini |
Security and privacy issues of handheld and wearable wireless devices. |
Commun. ACM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia |
Providing secrecy in key management protocols for large wireless sensors networks. |
Ad Hoc Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
A Time Driven Methodology for Key Dimensioning in Multicast Communications. |
SEC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei |
Random key-assignment for secure Wireless Sensor Networks. |
SASN |
2003 |
DBLP DOI BibTeX RDF |
distributed wireless sensors networks, secure pair-wise communications, sensor-to-sensor authentication, key management protocols |
| 1 | Roberto Di Pietro, Antonio Durante, Luigi V. Mancini |
A Reliable Key Authentication Schema for Secure Multicast Communications. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
Secure multicast communications, logical key hierarchy, re-keying, security, authenticity, confidentiality, key distribution, group key management |
| 1 | Roberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga |
LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. |
ICPP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A graph-based formalism for RBAC. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations |
| 1 | Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini |
Remus: a security-enhanced operating system. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
privileged tasks, system penetration, Access control, Linux, system calls interception |
| 1 | Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia |
Secure Selective Exclusion in Ad Hoc Wireless Network. |
SEC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Antonio Durante, Roberto Di Pietro, Luigi V. Mancini |
Formal Specification for Fast Automatic IDS Training. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia |
Efficient and secure keys management for wireless mobile communications. |
POMC |
2002 |
DBLP DOI BibTeX RDF |
backward secrecy, network dynamics management, cryptography, distributed algorithms, wireless communications, key distribution, secure multicast, forward secrecy, collusion, key generation, key management protocol |
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Conflict Detection and Resolution in Access Control Policy Specifications. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Decidability of Safety in Graph-Based Models for Access Control. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Graph Transformations for the Specification of Access Control Policies. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
On the specification and evolution of access control policies. |
SACMAT |
2001 |
DBLP DOI BibTeX RDF |
specification, methodology, graph transformation systems |
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
Foundations for a Graph-Based Approach to the Specification of Access Control Policies. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino |
ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol |
| 1 | Luigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino |
Flexible Transaction Dependencies in Database Systems. |
Distributed and Parallel Databases |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Chiola, Gianni Conte, Luigi V. Mancini |
Workshop on Personal Computer Based Networks of Workstation. |
IPDPS Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Massimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini |
Operating system enhancements to prevent the misuse of system calls. |
ACM Conference on Computer and Communications Security |
2000 |
DBLP DOI BibTeX RDF |
access control database, buffer overflow based attacks, Linux, Linux, isolation, system calls interception |
| 1 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A Formal Model for Role-Based Access Control Using Graph Transformation. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan A. Bertossi, Luigi V. Mancini, Federico Rossini |
Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems. |
IEEE Trans. Parallel Distrib. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Fault tolerance, multiprocessor systems, hard-real-time systems, periodic tasks, rate-monotonic scheduling, task replication |
| 1 | José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna (eds.) |
Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings |
IPPS/SPDP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Chiola, Giuseppe Ciaccio, Luigi V. Mancini, Pierluigi Rotondo |
GAMMA on DEC 2114x with Efficient Flow Control. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Sushil Jajodia, Luigi V. Mancini, Indrajit Ray |
Advanced Transaction Processing in Multilevel Secure File Stores. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
concurrency control, transaction processing, exception handling, covert channels, mandatory access control, two-phase locking, security kernel, Data management system, file system management |
| 1 | Elisa Bertino, Giovanni Chiola, Luigi V. Mancini |
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia |
A Fair Locking Protocol for Multilevel Secure Databases. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo |
Two Implementation Relations and the Correctness of Communicating Replicated Processes. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino |
Flexible Commit Protocols for Advanced Transaction Processing. |
Advanced Transaction Models and Architectures |
1997 |
DBLP BibTeX RDF |
|
| 1 | Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancini |
Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks. (PDF / PS) |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sushil Jajodia, Luigi V. Mancini, Indrajit Ray |
Secure Locking Protocols for Multilevel Database Management Systems. |
DBSec |
1996 |
DBLP BibTeX RDF |
|
| 1 | Indrajit Ray, Elisa Bertino, Sushil Jajodia, Luigi V. Mancini |
An Advanced Commit Protocol for MLS Distributed Database Systems. |
ACM Conference on Computer and Communications Security |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini, Indrajit Ray |
Secure Concurrency Control in MLS Databases with Two Versions of Data. |
ESORICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan A. Bertossi, Massimo Bonometto, Luigi V. Mancini |
Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. |
Real-Time Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan A. Bertossi, Luigi V. Mancini |
Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. |
Real-Time Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ciampichetti, Elisa Bertino, Luigi V. Mancini |
Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems. |
ESORICS |
1994 |
DBLP DOI BibTeX RDF |
object deletion, mark-and-sweep, garbage collection, mandatory access control, object-oriented database systems |
| 1 | Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell |
The Duality of Fault-tolerant System Structures. |
Softw., Pract. Exper. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo |
Modelling Replicated Processing. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini |
Garbage Collection and Reachability |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz |
Specification of Concurrency Control in Persistent Programming Languages. |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Luigi V. Mancini, Santosh K. Shrivastava |
Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. |
Comput. J. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini, Vittoria Rotella, Simonetta Venosa |
Copying Garbage Collection for Distributed Object Stores. |
SRDS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo |
Formalising Replicated Distributed Processing. |
SRDS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Maciej Koutny, Luigi V. Mancini |
Synchronizing events in replicated systems. |
Journal of Systems and Software |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi V. Mancini, Giuseppe Pappalardo |
Proving Correctness Properties of a Replicated Synchronous Program. |
Comput. J. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Vincenzo Mancini, Santosh K. Shrivastava |
Replication within atomic actions and conversations: a case study in fault-tolerance duality. |
FTCS |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")