Publications
161 results found
Di Pierro A, Hankin C, Wiklicky H, 2005, Probabilistic λ-calculus and quantitative program analysis, JOURNAL OF LOGIC AND COMPUTATION, Vol: 15, Pages: 159-179, ISSN: 0955-792X
- Author Web Link
- Open Access Link
- Cite
- Citations: 25
Nanz S, Hankin C, 2005, A framework for security analysis of mobile wireless networks, Departmental Technical Report: 05/4, Publisher: Department of Computing, Imperial College London, 05/4
We present a framework for specification and security analysis of communicationprotocols for mobile wireless networks. This setting introduces new challenges whichare not being addressed by classical protocol analysis techniques. The main complicationstems from the fact that the actions of intermediate nodes and their connectivitycan no longer be abstracted into a single unstructured adversarial environment asthey form an inherent part of the system’s security. In order to model this scenariofaithfully, we present a broadcast calculus which makes a clear distinction betweenthe protocol processes and the network’s connectivity graph, which may change independentlyfrom protocol actions. We identify a property characterising an importantaspect of security in this setting and express it using behavioural equivalences of thecalculus. We complement this approach with a control flow analysis which enables usto automatically check this property on a given network and attacker specification.
Hankin C, Wiklicky H, 2005, [Lambda]-calculus and quantitative program analysis: (Extended abstract), Electronic Notes in Theoretical Computer Science, Vol: 112, Pages: 5-18, ISSN: 1571-0661
Di Pierro A, Hankin C, Wiklicky H, 2005, Probabilistic Linda-based coordination languages, Berlin, 3rd International Symposium on Formal Methods for Components and Objects, 02 - 05 November 2004, Leiden, Netherlands, Publisher: Springer-Verlag, Pages: 120-140
Di Pierro A, Hankin C, Wiklicky H, 2005, Probabilistic Linda-based coordination languages, Berlin, 3rd International Symposium on Formal Methods for Components and Objects, 02 - 05 November 2004, Leiden, Netherlands, Publisher: Springer-Verlag, Pages: 120-140
Di Pierro A, Hankin CN, Wiklicky H, 2005, Continuous-Time Probabilistic KLAIM, Publisher: Elsevier, Pages: 27-38
Hankin CN, Wiklicky H, 2005, Lambda-calculus and quantitative program analysis, Electronic Notes in Theoretical Computer Science, Publisher: Elsevier, Pages: 5-18, ISSN: 1571-0661
Di Pierro A, Hankin C, Wiklicky H, 2005, Quantitative static analysis of distributed systems, Journal of Functional Programming, Vol: 15, Pages: 703-749, ISSN: 0956-7968
Hankin C, Wiklicky H, 2005, [Lambda]-calculus and quantitative program analysis: (Extended abstract), Electronic Notes in Theoretical Computer Science, Vol: 112, Pages: 5-18, ISSN: 1571-0661
Di Pierro A, Hankin C, Wiklicky H, 2005, Quantitative static analysis of distributed systems, Journal of Functional Programming, Vol: 15, Pages: 703-749, ISSN: 0956-7968
Pearce D, Hankin C, Kelly P, 2004, Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis, Publisher: Springer, Pages: 311-337, ISSN: 1573-1367
Hankin C, Di Pierro A, Wiklicky H, et al., 2004, Two formal approaches for approximating noninterference properties, Publisher: Springer Verlag, Pages: 1-43, ISBN: 3-5402-0955-7
Pearce D, Kelly P, Hankin CL, 2004, Efficient field-sensitive pointer analysis for C, ACM workshop on Program Analysis for Software Tools and Engineering (PASTE), Publisher: Kluwer, Pages: 37-42
Nanz S, Hankin C, 2004, Formal security analysis for ad-hoc networks, Proceedings of VODCA, 2004, ISSN: 1571-0661
Di Pierro A, Hankin C, Wiklicky H, 2004, Approximate non-interference, Journal of Computer Security, Vol: 12, Pages: 37-82, ISSN: 0926-227X
Aldini A, Bravetti M, Di Pierro A, et al., 2004, Two formal approaches for approximating noninterference properties, Berlin, International school on foundations of security analysis and design, Bertinoro, ITALY, 2002, Publisher: Springer-Verlag, Pages: 1-43
Di Pierro A, Hankin C, Wiklicky H, 2004, Probabilistic KLAIM, Berlin, 6th international conference on coordination models and languages (COORDINATION 2004), Pisa Univ, Comp Sci Dept, Pisa, ITALY, Publisher: Springer-Verlag, Pages: 119-134
Aldini A, Bravetti M, Di Pierro A, et al., 2004, Two formal approaches for approximating noninterference properties, Berlin, International school on foundations of security analysis and design, Bertinoro, ITALY, 2002, Publisher: Springer-Verlag, Pages: 1-43
Nanz S, Hankin C, 2004, Static analysis of routing protocols for ad-hoc networks, Proceedings of ACM SIGPLAN and IFIP WG 1.7 workshop on issues in the theory of security, 2004
Di Pierro A, Hankin C, Wiklicky H, 2004, Approximate non-interference, Journal of Computer Security, Vol: 12, Pages: 37-82, ISSN: 0926-227X
Di Pierro A, Hankin C, Wiklicky H, 2003, Quantitative relations and approximate process equivalences, Berlin, 14th international conference on concurrency theory, Marseille, France, 2003, Publisher: Springer-Verlag, Pages: 508-522
Di Pierro A, Hankin C, Wiklicky H, 2003, Measuring the confinement of concurrent probabilistic systems, Proceedings of WITS'03: workshop on issues in the theory of security. 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Warsaw, Poland, 5 - 6 April 2003, Pages: 1-10
Pearce DJ, Kelly PHJ, Hankin C, 2003, Online cycle detection and difference propagation for pointer analysis, Los Alamitos, 3rd IEEE international workshop on source code analysis and manipulation, 2003, Publisher: IEEE Computer Soc, Pages: 3-12
Di Pierro A, Hankin C, Wiklicky H, 2003, Quantitative relations and approximate process equivalences, Berlin, 14th international conference on concurrency theory, Marseille, France, 2003, Publisher: Springer-Verlag, Pages: 508-522
Clark D, Hankin C, Hunt S, 2002, Information flow for Algol-like languages, COMPUTER LANGUAGES SYSTEMS & STRUCTURES, Vol: 28, Pages: 3-28, ISSN: 1477-8424
- Author Web Link
- Cite
- Citations: 33
Di, Pierro A, Hankin C, et al., 2002, Approximate non-interference, Los Alamitos, 15th IEEE computer security foundations workshop (CSFW-15), 2002, Publisher: IEEE Computer Soc, Pages: 3-17
Di, Pierro A, Hankin C, et al., 2002, Analysing approximate confinement under uniform attacks, Berlin, 9th international static analysis symposium, Madrid, Spain, 2002, Publisher: Springer-Verlag, Pages: 310-325
Di, Pierro A, Hankin C, et al., 2002, Approximate non-interference, Los Alamitos, 15th IEEE computer security foundations workshop (CSFW-15), 2002, Publisher: IEEE Computer Soc, Pages: 3-17
Di, Pierro A, Hankin C, et al., 2002, Analysing approximate confinement under uniform attacks, Berlin, 9th international static analysis symposium, Madrid, Spain, 2002, Publisher: Springer-Verlag, Pages: 310-325
Hankin C, Nagarajan R, Sampath P, 2002, Flow analysis: games and nets, Berlin, Essence of computation: complexity analysis, transformation, Publisher: Springer-Verlag, Pages: 135-156, ISSN: 1571-0661
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.