Trustworthy Global Computing

Name: Trustworthy Global Computing | 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
Brand: Springer
Price: 42.79 EUR
Availability: OnlineOnly

10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

Pierre Ganty Michele Loreti(Herausgeber*in)

Springer (Verlag)

Erschienen am 4. Januar 2016

IX, 163 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-28766-9 (ISBN)

42,79 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification
1 Introduction
2 Preliminaries
2.1 Secure Two-Party Computation with Garbled Circuits
2.2 Applied Pi-Calculus and ProVerif [19--23]
3 Equational Theory for Garbled Computation
4 Formal Protocol Specification
5 Formal Models of Security for Two-Party Computation
5.1 Result Integrity
5.2 Input Agreement
5.3 Input Privacy
6 Conclusion and Related Work
References
Multiparty Testing Preorders
1 Introduction
2 Processes and Testing Preorders
2.1 Semantic Characterisation
3 A Testing Preorder with Uncoordinated Observers
3.1 Semantic Characterisation
4 A Testing Preorder with Independent Observers
4.1 Semantic Characterisation
5 Relating Must, Uncoordinated and Independent Preorders
6 Conclusions and Related Works
References
Data Tracking in Parameterized Systems
1 Introduction
2 Process Model
2.1 Operational Semantics
3 Violation Detection
4 Conflict Detection
4.1 Transition System with History
4.2 Encoding into MSR(Id)
5 Conclusions and Related Work
References
Modular Monitor Extensions for Information Flow Security in JavaScript
1 Introduction
2 Related Work
3 Modular Extensions for JavaScript Monitors
3.1 Noninterferent JavaScript Monitors
3.2 API Extensions to JavaScript Monitors
3.3 Sufficient Conditions for Noninterferent API Extensions
4 A Meta-Compiler for Securing Web APIs
4.1 IFlow Signatures
5 Implementation and DOM API Extension
6 Conclusion
References
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language
1 Introduction
2 Core JS
3 Static Typing Secure Information Flow in Core JS
4 Dynamic Typing Secure Information Flow in Core JS
5 Security Guarantees
6 Related Work
7 Conclusions
References
Fault Ascription in Concurrent Systems
1 Introduction
2 Preliminaries
2.1 Operations on Configuration Structures
2.2 Systems and Components
2.3 Faults and Logs
3 A General Framework for Fault Ascription
4 An Instantiation
5 Examples
6 Related Work
7 Conclusion
References
Disjunctive Information Flow for Communicating Processes
1 Introduction
2 Motivating Example
3 The Language
4 Security Policies
5 The Type System
6 Noninterference
7 Conclusion and Discussion
References
Near-Optimal Scheduling for LTL with Future Discounting
1 Introduction
2 The Logic LTLdisc[D,F], and its Threshold Problems
3 [0, 1]-Acceptance Büchi Automata
4 Near-Optimal Scheduling for LTLdisc[D, Fmc]
4.1 Our Algorithm, When Restricted to LTLdisc[D,]
4.2 Our General Algorithm for LTLdisc[D,Fmc]
4.3 Complexity
5 Conclusions and Future Work
References
A Switch, in Time
1 Introduction
2 The Model
2.1 The Data Plane Model
2.2 Axioms
2.3 Table Updates
3 IP Mobility
3.1 Tunnel Maintenance
3.2 Properties
4 Security Primitives: The TOR Example
4.1 TOR
4.2 Proving Some TOR Properties
5 Conclusions
References
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction
1 Introduction
2 BIP Framework
2.1 BIP Modelling Language
2.2 Operational Semantics of BIP
3 On-the-fly Lazy Predicate Abstraction of BIP
3.1 Verification Algorithm
3.2 Correctness Proof
4 Simultaneous Set Reduction for BIP
4.1 Simultaneous Set Constraints
4.2 Combining Simultaneous Set Reduction with Lazy Predicate Abstraction
5 Related Work
6 Experimental Evaluation
7 Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken