34 results on '"Horne, Ross"'
Search Results
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
9. Extracting Threshold Conceptual Structures from Web Documents
10. Ensuring Faultless Communication Behaviour in A Commercial Cloud
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
23. Exemplified Study of WRED Algorithm Parameters Influence on IP-based Networks
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.