dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Luigi V. Mancini Coauthor index pubzone.org

Luigi Vincenzo Mancini

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Riboni, Antonio Villani, Domenico Vitali, Claudio Bettini, Luigi V. Mancini: Obfuscation of sensitive data in network flows. INFOCOM 2012: 2372-2380
2011
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia: Securing Topology Maintenance Protocols for Sensor Networks. IEEE Trans. Dependable Sec. Comput. 8(3): 450-465 (2011)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi Vincenzo Mancini, Alessandro Mei: Distributed Detection of Clone Attacks in Wireless Sensor Networks. IEEE Trans. Dependable Sec. Comput. 8(5): 685-698 (2011)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini: Secure topology maintenance and events collection in WSNs. Security and Communication Networks 4(7): 744-762 (2011)
2010
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Zhang, 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: 910-915
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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: 99-106
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Hierarchies of keys in secure multicast communications. Journal of Computer Security 18(5): 839-860 (2010)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi: eRIPP-FS: Enforcing privacy and security in RFID. Security and Communication Networks 3(1): 58-70 (2010)
2009
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVishwas Patil, Paolo Gasti, Luigi V. Mancini, Giovanni Chiola: Resource Management with X.509 Inter-domain Authorization Certificates (InterAC). EuroPKI 2009: 34-50
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Gabrielli, Mauro Conti, Roberto Di Pietro, Luigi V. Mancini: Sec-TMP: A Secure Topology Maintenance Protocol for Event Delivery Enforcement in WSN. SecureComm 2009: 265-284
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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: 85-96
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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 7(8): 1463-1475 (2009)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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 abs/0912.2199: (2009)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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: (2009)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik: Data Security in Unattended Wireless Sensor Networks. IEEE Trans. Computers 58(11): 1500-1511 (2009)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Distributed data source verification in wireless sensor networks. Information Fusion 10(4): 342-353 (2009)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Lei Zhang, Sankardas Roy, Roberto Di Pietro, Sushil Jajodia, Luigi V. Mancini: Privacy-preserving robust data aggregation in wireless sensor networks. Security and Communication Networks 2(2): 195-213 (2009)
2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Claudio Soriente, Angelo Spognardi, Gene Tsudik: Catch Me (If You Can): Data Survival in Unattended Sensor Networks. PerCom 2008: 185-194
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Battistoni, Alessandro Di Biagio, Roberto Di Pietro, Matteo Formica, Luigi V. Mancini: A Live Digital Forensic system for Windows networks. SEC 2008: 653-667
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Emergent properties: detection of the node-capture attack in mobile wireless sensor networks. WISEC 2008: 214-219
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan: Redoubtable Sensor Networks. ACM Trans. Inf. Syst. Secur. 11(3): (2008)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Special Issue: Hot Topics in Peer-to-Peer Systems. Concurrency and Computation: Practice and Experience 20(6): 599 (2008)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Ateniese, Roberto Di Pietro, Luigi V. Mancini, Gene Tsudik: Scalable and Efficient Provable Data Possession. IACR Cryptology ePrint Archive 2008: 114 (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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: 293 (2008)
2007
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVishwas Patil, Alessandro Mei, Luigi V. Mancini: Addressing interoperability issues in access control models. ASIACCS 2007: 389-391
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Gabrielli, Luigi V. Mancini: Bio-Inspired Topology Maintenance Protocols for Secure Wireless Sensor Networks. BIOWIRE 2007: 399-410
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Towards threat-adaptive dynamic fragment replication in large scale distributed systems. IPDPS 2007: 1
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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: 80-89
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini, Angelo Spognardi: RIPP-FS: An RFID Identification, Privacy Preserving Protocol with Forward Secrecy. PerCom Workshops 2007: 229-234
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini: ECCE: Enhanced cooperative channel establishment for secure pair-wise communication in wireless sensor networks. Ad Hoc Networks 5(1): 49-62 (2007)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Di Crescenzo, Luigi V. Mancini: Preface. Electr. Notes Theor. Comput. Sci. 171(1): 1-2 (2007)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Giorgio Zanin: Efficient and Adaptive Threshold Signatures for Ad hoc networks. Electr. Notes Theor. Comput. Sci. 171(1): 93-105 (2007)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Roberto Di Pietro, Luigi V. Mancini: Robust RSA distributed signatures for large-scale long-lived ad hoc networks. Journal of Computer Security 15(1): 171-196 (2007)
2006
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil: Addressing the shortcomings of one-way chains. ASIACCS 2006: 289-296
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini, Alessandra Menapace: Scheduling Hard-Real-Time Tasks with Backup Phasing Delay. DS-RT 2006: 107-118
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Alessandro Mei, Luigi V. Mancini: A Secure and Efficient Large Scale Distributed System for Data Sharing. ICDCS 2006: 27
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Conti, Roberto Di Pietro, Luigi V. Mancini: Secure Cooperative Channel Establishment inWireless Sensor Networks. PerCom Workshops 2006: 327-331
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia: A robust watermarking system based on SVD compression. SAC 2006: 1341-1347
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan: Sensor Networks that Are Provably Resilient. SecureComm 2006: 1-10
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Energy efficient node-to-node authentication and communication confidentiality in wireless sensor networks. Wireless Networks 12(6): 709-721 (2006)
2005
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Calagna, Luigi V. Mancini: A Blind Method for Digital Watermarking Attacks. EuroIMSA 2005: 265-270
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Gabrielli, Luigi V. Mancini, Sanjeev Setia, Sushil Jajodia: Securing Topology Maintenance Protocols for Sensor Networks. SecureComm 2005: 101-112
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil: Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. SecureComm 2005: 400-402
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
2004
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEhud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce: Information Flow Analysis for File Systems and Databases Using Labels. DBSec 2004: 125-141
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Battistoni, Emanuele Gabrielli, Luigi V. Mancini: A Host Intrusion Prevention System for Windows Operating Systems. ESORICS 2004: 352-368
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Alessandro Mei, Luigi Vincenzo Mancini: Towards a secure dynamic allocation of files in large scale distributed file systems. HOT-P2P 2004: 102-107
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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: 22-29
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Efficient and Resilient Key Discovery Based on Pseudo-Random Key Pre-Deployment. IPDPS 2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Zanin, Luigi V. Mancini: Towards a formal model for security policies specification and validation in the selinux system. SACMAT 2004: 136-145
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan: Connectivity properties of secure wireless sensor networks. SASN 2004: 53-58
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Key management for high bandwidth secure multicast. Journal of Computer Security 12(5): 693-709 (2004)
2003
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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: 397-
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: Random key-assignment for secure Wireless Sensor Networks. SASN 2003: 62-71
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Alessandro Mei: A Time Driven Methodology for Key Dimensioning in Multicast Communications. SEC 2003: 121-132
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Antonio Durante, Luigi V. Mancini: A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS 2003: 231-240
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Providing secrecy in key management protocols for large wireless sensors networks. Ad Hoc Networks 1(4): 455-468 (2003)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini: Security and privacy issues of handheld and wearable wireless devices. Commun. ACM 46(9): 74-79 (2003)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Mei, Luigi V. Mancini, Sushil Jajodia: Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems. IEEE Trans. Parallel Distrib. Syst. 14(9): 885-896 (2003)
2002
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Durante, Roberto Di Pietro, Luigi V. Mancini: Formal Specification for Fast Automatic IDS Training. FASec 2002: 191-204
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Efficient and secure keys management for wireless mobile communications. POMC 2002: 66-73
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Di Pietro, Luigi V. Mancini, Sushil Jajodia: Secure Selective Exclusion in Ad Hoc Wireless Network. SEC 2002: 423-434
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini: Remus: a security-enhanced operating system. ACM Trans. Inf. Syst. Secur. 5(1): 36-61 (2002)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
2001
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: 222-232 (2001)
2000
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Bernaschi, Emanuele Gabrielli, Luigi V. Mancini: Operating system enhancements to prevent the misuse of system calls. ACM Conference on Computer and Communications Security 2000: 174-183
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Gianni Conte, Luigi V. Mancini: Workshop on Personal Computer Based Networks of Workstation. IPDPS Workshops 2000: 1-3
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino: Flexible Transaction Dependencies in Database Systems. Distributed and Parallel Databases 8(4): 399-446 (2000)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIndrajit 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. 12(6): 880-899 (2000)
1999
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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: 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 Springer 1999
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Chiola, Giuseppe Ciaccio, Luigi V. Mancini, Pierluigi Rotondo: GAMMA on DEC 2114x with Efficient Flow Control. PDPTA 1999: 2337-2343
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini, Federico Rossini: Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems. IEEE Trans. Parallel Distrib. Syst. 10(9): 934-945 (1999)
1998
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSushil Jajodia, Luigi V. Mancini, Sanjeev Setia: A Fair Locking Protocol for Multilevel Secure Databases. CSFW 1998: 168-178
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Giovanni Chiola, Luigi V. Mancini: Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. ICATPN 1998: 266-285
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Sushil Jajodia, Luigi V. Mancini, Indrajit Ray: Advanced Transaction Processing in Multilevel Secure File Stores. IEEE Trans. Knowl. Data Eng. 10(1): 120-135 (1998)
1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Andrea Fusiello, Luigi V. Mancini: Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks. IPPS 1997: 133-138
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray, Sushil Jajodia, Elisa Bertino: Flexible Commit Protocols for Advanced Transaction Processing. Advanced Transaction Models and Architectures 1997: 0-
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Asp. Comput. 9(2): 119-148 (1997)
1996
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIndrajit 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: 119-128
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSushil Jajodia, Luigi V. Mancini, Indrajit Ray: Secure Locking Protocols for Multilevel Database Management Systems. DBSec 1996: 177-194
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Indrajit Ray: Secure Concurrency Control in MLS Databases with Two Versions of Data. ESORICS 1996: 304-323
1995
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Massimo Bonometto, Luigi V. Mancini: Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. Real-Time Systems 9(1): 5-29 (1995)
1994
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Ciampichetti, Elisa Bertino, Luigi V. Mancini: Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems. ESORICS 1994: 359-373
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan A. Bertossi, Luigi V. Mancini: Scheduling Algorithms for Fault-Tolerance in Hard-Real-Time Systems. Real-Time Systems 7(3): 229-245 (1994)
1993
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Modelling Replicated Processing. PARLE 1993: 672-675
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantosh K. Shrivastava, Luigi V. Mancini, Brian Randell: The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23(7): 773-798 (1993)
1992
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Garbage Collection and Reachability POS 1992: 394-395
1991
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. SRDS 1991: 108-117
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Vittoria Rotella, Simonetta Venosa: Copying Garbage Collection for Distributed Object Stores. SRDS 1991: 218-227
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Santosh K. Shrivastava: Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. Comput. J. 34(6): 503-513 (1991)
1989
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Vincenzo Mancini, Santosh K. Shrivastava: Replication within atomic actions and conversations: a case study in fault-tolerance duality. FTCS 1989: 454-461
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Proving Correctness Properties of a Replicated Synchronous Program. Comput. J. 32(5): 437-444 (1989)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej Koutny, Luigi V. Mancini: Synchronizing events in replicated systems. Journal of Systems and Software 9(3): 183-190 (1989)
1988
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Towards a Theory of Replicated Processing. FTRTFT 1988: 175-192
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Giuseppe Pappalardo: Hoare logic of distributed redundant systems. Comput. Syst. Sci. Eng. 3(4): 171-180 (1988)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. Softw., Pract. Exper. 18(4): 287-300 (1988)
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantosh K. Shrivastava, Luigi V. Mancini, Brian Randell: On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37
1986
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini, Maciej Koutny: Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi V. Mancini: Modular Redundancy in a Message Passing System. IEEE Trans. Software Eng. 12(1): 79-86 (1986)

Coauthor Index

1Giuseppe Ateniese [84]
2Roberto Battistoni [61] [88]
3Peter H. Beckman [31]
4Massimo Bernaschi [36] [41]
5Elisa Bertino [18] [22] [24] [26] [27] [32] [33]
6Alan A. Bertossi [17] [19] [25] [29] [72]
7Claudio Bettini [106]
8Devesh Bhatt [31]
9Alessandro Di Biagio [88]
10Massimo Bonometto [19]
11Maria Calagna [66] [69]
12Denis Caromel [31]
13Serge Chaumette [31]
14Giovanni Chiola [27] [30] [34] [98]
15Giuseppe Ciaccio [30]
16Alessandro Ciampichetti [18]
17Gianni Conte [31] [34]
18Mauro Conti [70] [77] [78] [79] [87] [90] [91] [93] [94] [96] [97] [99] [101] [102] [103] [104]
19Giovanni Di Crescenzo [76]
20Antonio Durante [45] [50] [64] [73]
21Hossam A. ElGindy [31]
22Fikret Erçal [31]
23Sandro Etalle [53]
24Matteo Formica [88]
25Geoffrey Fox (Geoffrey Charles Fox) [31]
26Nicoletta De Francesco [14]
27Andrea Fusiello [25]
28Andrea Gabrielli [65] [81] [94] [96] [97] [101] [103] [105]
29Emanuele Gabrielli [36] [41] [61]
30Paolo Gasti [98]
31G. Ghiola [31]
32Ehud Gudes [62]
33Huiping Guo [69]
34Jan Gustafsson [31]
35Matthew Haines [31]
36Paul J. M. Havinga [53]
37Sushil Jajodia [21] [22] [24] [26] [28] [32] [33] [42] [43] [47] [49] [65] [69] [90] [102] [105]
38Laxmikant V. Kalé [31]
39Manuel Koch [35] [37] [38] [39] [40] [44] [46] [56] [63]
40Maciej Koutny [2] [7] [12] [16] [23]
41Yee Wei Law [53]
42Keqin Li [31]
43Alessandro Mei [47] [51] [52] [54] [55] [58] [60] [67] [68] [71] [79] [80] [82] [86] [87] [91] [93] [94] [96] [100] [101] [104]
44Alessandra Menapace [72]
45Dominique Méry [31]
46Frank Mueller [31]
47Stephan Olariu [31]
48Ronald A. Olsson [31]
49Yi Pan [31]
50Alessandro Panconesi [55] [68] [86]
51Giuseppe Pappalardo [5] [6] [8] [12] [16] [23]
52Francesco Parisi-Presicce [35] [37] [38] [39] [40] [44] [46] [56] [62] [63]
53Vishwas Patil [64] [73] [82] [98]
54A. Pereira Paz [14]
55Roberto Di Pietro [42] [43] [45] [48] [49] [50] [51] [52] [53] [54] [55] [58] [59] [64] [67] [68] [70] [73] [74] [75] [77] [78] [79] [80] [83] [84] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [99] [100] [101] [102] [103] [104]
56Viktor K. Prasanna (V. K. Prasanna Kumar) [31]
57Jaikumar Radhakrishnan [55] [68] [86]
58Brian Randell [3] [15]
59Binoy Ravindran [31]
60Indrajit Ray [20] [21] [22] [24] [26] [32] [33]
61Daniele Riboni [106]
62José D. P. Rolim [31]
63Federico Rossini [29]
64Vittoria Rotella [11]
65Pierluigi Rotondo [30]
66Sankardas Roy [90]
67Beverly A. Sanders [31]
68Sanjeev Setia [28] [65] [105]
69Santosh K. Shrivastava [3] [9] [10] [15]
70Claudio Soriente [83] [89] [92] [95]
71Angelo Spognardi [59] [78] [83] [89] [92] [95] [99]
72Hiroaki Takada [31]
73Gene Tsudik [83] [84] [89] [92] [95]
74Gigliola Vaglini [14]
75Simonetta Venosa [11]
76Antonio Villani [106]
77Domenico Vitali [106]
78Tao Yang [31]
79Giorgio Zanin [57] [60] [71] [74] [75]
80Honggang Zhang [102]
81Lei Zhang [90] [102]
82Albert Y. Zomaya [31]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page