Mário Alvim (31 results)
Art of Modelling Computational Systems - a Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Alvim, Mário S. (EDT); Chatzikokolakis, Kostas (EDT); Olarte, Carlos (EDT); Valencia, Frank (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.32
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 45.97
£ 2.97 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Hardcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 44.37
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
Art of Modelling Computational Systems - a Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Alvim, Mário S. (EDT); Chatzikokolakis, Kostas (EDT); Olarte, Carlos (EDT); Valencia, Frank (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.40
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 45.70
£ 8.59 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Art of Modelling Computational Systems - a Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Alvim, Mário S. (EDT); Chatzikokolakis, Kostas (EDT); Olarte, Carlos (EDT); Valencia, Frank (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.79
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 68.67
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 62.64
£ 9.06 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
Art of Modelling Computational Systems - a Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Alvim, Mário S. (EDT); Chatzikokolakis, Kostas (EDT); Olarte, Carlos (EDT); Valencia, Frank (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.93
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 70.51
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 495.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 61.04
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 74.76
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 61.03
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 75.39
£ 7.83 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 67.02
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer International Publishing, Springer International Publishing 2019
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.54
£ 54.98 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60thbirthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are or…ganized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.These contributions are a tribute to Catuscia Palamidessi's intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S./ Chatzikokolakis, Konstantinos/ McIver, Annabelle
- Hardcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 93.71
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 508 pages. 9.25x6.10x1.34 inches. In Stock.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 84.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. New. book.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 61.46
£ 55.75 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Revista do Brasil 1940
- Softcover
- First Edition
- Periodical
Seller: Biblioteca de Babel, São Paulo, SP, BrazilBiblioteca de Babel
Contact seller4-star sellerCondition: Used - Very good
£ 49.91
£ 33.55 shippingShips from Brazil to U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. 1st Edition. In Portuguese. Junho de 1940. Brochura, 23x16cm, 111p. Miolo amarelecido, pequena perda de papel na quina superior da capa. Exemplar sólido e completo, sem carimbos, anotações ou folhas soltas. Com textos de Jorge de Lima, Graciliano Ramos, Mário de Andrade , Rachel de Queiroz, Aire…s da Mata Machado Filho, Roberto Alvim Corrêa, Octavio Tarquinio de Sousa, Austregésilo de Athayde, etc. Scarce. [pesa].
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 41.08
£ 5.87 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
£ 48.20
£ 6.90 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Sep 2019 2019
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.54
£ 19.85 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60thbirthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends.…The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.These contributions are a tribute to Catuscia Palamidessi's intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy. 496 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 70.38
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 495.
Language: English
Published by Springer International Publishing Sep 2020 2020
- Hardcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 57.05
£ 19.85 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 t…o 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. 508 pp. Englisch.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 71.68
£ 8.59 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 495.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Alvim, Mário S.|Chatzikokolakis, Kostas|Olarte, Carlos|Valencia, Frank
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.99
£ 42.27 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25… papers by close collaborators and .
- Hardcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 49.57
£ 42.27 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Computer systems that process sensitive information should preserve that information s confidentiality, but our current cyber-infrastructure is failing to achieve this goal: reports of massive-scale informat…ion disclosures are distressingly frequentWritt.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.54
£ 51.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Concurrency.- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size.- Axiomatizing Team Equivalence for Finite-State Machines.- Asynchronous pi-calculus at work: the call-by-need strategy.- Deadlock Analysis of Wait-N…otify Coordination.- Enhancing reaction systems: a process algebraic approach.- Checking the Expressivity of Firewall Languages.- Polymorphic Session Processes as Morphisms.- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice.- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.- Stronger Validity Criteria for Encoding Synchrony.- Confluence of the Chinese Monoid.- Logic and Constraint Programming.- A coalgebraic approach to unification semantics of logic programming.- Polyadic Soft Constraints.- Security and Privacy.- Core-concavity, Gain Functions and Axioms for Information Leakage.-Formalisation of Probabilistic Testing Semantics in Coq.- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.- Fooling the Parallel Or Tester with Probability 8/27.- Categorical information flow.- Statistical Epistemic Logic.- Approximate model counting, sparse XOR constraints and minimum distance.- Verification and Control of Turn-Based Probabilistic Real-Time Games.- Refinement Metrics for Quantitative Information Flow.- Models and Puzzles.- Toward a Formal Model for Group Polarization in Social Networks.- Make Puzzles Great Again.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 496 pp. Englisch.
