Catuscia Palamidessi's Books

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that certain information leaks are small enough to be tolerated – and how systems can be constructed that achieve rigorous, quantitative information-flow guarantees in those terms. It addresses the fundamental challenge that functional and practical requirements frequently conflict with the goal of preserving confidentiality, making perfect security unattainable. Topics include: a systematic presentation of how unwanted information flow, i.e., "leaks", can be quantified in operationally significant ways and then bounded, both with respect to estimated benefit for an attacking adversary and by comparisons between alternative implementations; a detailed study of capacity, refinement, and Dalenius leakage, supporting robust leakage assessments; a unification of information-theoretic channels and information-leaking sequential programs within the same framework; and a collection of case studies, showing how the theory can be applied to interesting realistic scenarios. The text is unified, self-contained and comprehensive, accessible to students and researchers with some knowledge of discrete probability and undergraduate mathematics, and contains exercises to facilitate its use as a course textbook.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

478

Publisher

Springer Nature

Published Date

ISBN 10

3319961314

ISBN 13

9783319961316

Ada in Europe

Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

By: Marcel Toussaint

Write a review Read reviews Take a Quiz Solve Book Puzzle

Ada in Europe

Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

By: Marcel Toussaint

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

464

Publisher

Springer

Published Date

ISBN 10

3540607579

ISBN 13

9783540607571

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Science of Quantitative Information Flow

By: Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

478

Publisher

Springer Nature

Published Date

ISBN 10

3319961314

ISBN 13

9783319961316

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

By: Catuscia Palamidessi

Write a review Read reviews Take a Quiz Solve Book Puzzle

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

By: Catuscia Palamidessi

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

613

Publisher

Springer

Published Date

ISBN 10

3662209780

ISBN 13

9783662209783

Methods for Location Privacy

A Comparative Overview

By: Kostantinos Chatzikokolakis,Ehab Elsalamouny,Catuscia Palamidessi

Write a review Read reviews Take a Quiz Solve Book Puzzle

Methods for Location Privacy

A Comparative Overview

By: Kostantinos Chatzikokolakis,Ehab Elsalamouny,Catuscia Palamidessi

In recent years, the growing popularity of mobile devices equipped with GPS chips, in combination with the increasing availability of wireless data connections, has led to an incremental rise in the use of Location-Based Services (LBSs), namely applications in which a user obtains, typically in real-time, a service related to his current location. The growing popularity of location-based services, allowing for the collection of vast amounts of information regarding users' location, has started raising serious privacy concerns. Methods for Location Privacy: A Comparative Overview examines the various kinds of privacy breaches that may arise due to the use of LBSs, and considers and compares some of the mechanisms and the metrics that have been proposed to protect user privacy, focusing in particular on a comparison between probabilistic spatial obfuscation techniques.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Published Date

ISBN 10

1680833669

ISBN 13

9781680833669

Book's by Catuscia Palamidessi

The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Ada in Europe

Ada in Europe

The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

CONCUR 2000 - Concurrency Theory

CONCUR 2000 - Concurrency Theory

Methods for Location Privacy

Methods for Location Privacy

Username

Password

Username

Password

Password again

Birthday

Email