Search

Your search keyword '"Horne, Ross"' showing total 34 results

Search Constraints

Start Over You searched for: Author "Horne, Ross" Remove constraint Author: "Horne, Ross" Publication Type eBooks Remove constraint Publication Type: eBooks
34 results on '"Horne, Ross"'

Search Results

1. Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

2. Compositional Analysis of Protocol Equivalence in the Applied -Calculus Using Quasi-open Bisimilarity

3. Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees

4. Breaking Unlinkability of the ICAO 9303 Standard for e-Passports Using Bisimilarity

5. The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement

6. Behavioural Analysis of Sessions Using the Calculus of Structures

7. SPEC: An Equivalence Checker for Security Protocols

8. Descriptive Types for Linked Data Resources

11. Operational Semantics for SPARQL Update

12. Conceptual Abstraction of Attack Graphs - A Use Case of securiCAD

13. Attack–Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report

14. High-Level Automatic Event Detection and User Classification in a Social Network Context

15. Poster Support for an Obeya-Like Risk Management Approach

16. Quantifying and Analyzing Information Security Risk from Incident Data

17. Security Analysis of IoT Systems Using Attack Trees

18. Optimizing System Architecture Cost and Security Countermeasures

19. Graph Models in Tracking Behaviors for Cyber-Security

20. Attack Trees: A Notion of Missing Attacks

21. Attack-Tree Series: A Case for Dynamic Attack Tree Analysis

22. Reversible Express Bus Lanes Simulation Software

24. Mobility Types for Cloud Computing

25. Verification and Validation of Formal Data-Centric Business Models

26. MultiBox: Lightweight Containers for Vendor-Independent Multi-cloud Deployments

27. Texture Recognition by Spatially Adaptive Classification

28. Could We Fit the Internet in a Box?

29. Agent Knowledge and Beliefs in a Cloud

30. A Combinatorial Approach to Knot Recognition

31. Building Cloud Applications for Challenged Networks

32. Generating Mediators for Dynamic Interoperability Across Cloud Providers

33. A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems

34. Multiscale Blood Vessel Segmentation in Retinal Fundus Images Algorithm Implementation and Analysis

Catalog

Books, media, physical & digital resources