Search results for: Fabio Martinelli
Lecture Notes in Computer Science > The Future Internet > Future Internet Foundations: Security and Trust > 177-191
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems, OTM 2010 > Cloud and Distributed System Security > 876-893
Lecture Notes in Computer Science > Computer Network Security > Mathematical Models and Architectures for Computer Network Security > 122-134
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 114-128
Lecture Notes in Computer Science > FM’99 — Formal Methods > Security > 794-813
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Invited Talks > 46-67
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Security Policies and Identity Management > 100-117
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Compositionality and Abstraction > 148-162
Lecture Notes in Computer Science > Towards a Service-Based Internet > Security, Privacy and Trust > 153-164
Lecture Notes in Computer Science > Information and Communications Security > Software Security > 256-266
Lecture Notes in Computer Science > Computer Network Security > Mathematical Models and Architectures for Computer Network Security > 86-99
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 519-531
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE > Access Control and Security > 1336-1350
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Model Refinement and Program Transformation > 37-42
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Security > 115-130
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops > Workshop on Grid Computing and Its Application to Data Analysis (GADA) > 123-134