C. Mu and D. Clark. Automatically Computing Information Flow Quantity via Probabilistic Semantics. Invited submission to the Journal of Information Systems Security (JISSec).
C. Mu and D. Clark. An Abstraction Quantifying Information Flow over Probabilistic Semantics. Presented at the Workshop on Quantitative Aspects of Programming Languages (QAPL), ETAPS, 2009. To appear in ENTCS. [PDF]
K. Androutsopoulos, D. Clark, M. Harman, Z. Li and L. Tratt. Control Dependence for Extended Finite State Machines. Fundamental Approaches to Software Engineering (FASE), 2009. LNCS 5503. [PDF] Won the ETAPS 2009 award for best Software Science paper.
C. Mu and D. Clark. Quantitative analysis of secure information flow via probabilistic semantics. Proceedings of the Conference on Availability, Reliability and Security (ARES) 2009. [PDF]
D. Clark and S. Hunt. Noninterference for Deterministic Interactive Programs. Foundational Aspects of Security and Trust workshop (FAST) 2008. LNCS 5491. [PDF]
K. Lano and D. Clark. Model Transformation Specification and Refinement. QSIC 2008.
K. Lano and D. Clark. Semantics and Refinement of Behaviour
State Machines. Proceedings
of 10th International Conference on Enterprise Information Systems.
2008. [PDF]
K. Lano and D. Clark. Direct
Semantics of Extended State Machines.
TOOLS 2007 Special Issue
of the Journal of Object Technology. ETH Swiss Federal Institute of
Technology. 6(9). 2007.
D. Clark, S. Danicic, and R. Giacobazzi (Eds.), Special Issue of the Journal of Logic and
Algebraic Programming on Programming Language Interference and
Dependence. Elsevier. 72(2). 2007
D. Clark, S. Hunt, and P.
Malacaria. A Static Analysis
for Quantifying the Information Flow in a Simple Imperative Programming
Language. The Journal of Computer Security, 15(3). 2007.
K. Lano, K. Androutsopoulos,
and D. Clark. Concurrency and
Real-Time Specifications in UML. Proceedings of the
International Workshop on Modelling and Analysis of Real-Time and
Embedded Systems (MARTES) at MoDELS 2006. Universitet i Oslo, Institut
for Informatikk Research Report. 2006.
A. Ong, D. Clark, and J. Kim.
A Hybridized AIS for Anomaly
Detection: Combining Negative Selection and Association Rules
(Extended Abstract). Proceedings
of AISB 2006. Workshop on Artificial Immune Systems
and Immune System Modelling. Bristol, U.K. 3 - 4 April 2006.
D. Clark, S. Hunt, and P.
Malacaria. Quantitative
Information Flow, Relations and Polymorphic Types. Journal of
Logic and Computation, Special Issue on Lambda Calculus, Type Theory
and Natural Language, 18(2): 181 - 199, 2005.
K. Lano, K. Androutsopoulos
and D. Clark. Refinement
Patterns for UML. Electronic Notes in Theoretical Computer
Science, 137(2): 131 - 149, 2005.
D. Clark, S.
Hunt and
P. Malacaria. Quantified Interference for a While Language. Electronic
Notes in Theoretical Computer Science, Volume
112, 2 January 2005,
Pages 149-166. Proceedings of the Second Workshop on Quantitative
Aspects of Programming Languages (QAPL 2004)
D. Clark, S. Hunt and
P. Malacaria. Quantified
Interference: Information Theory and Information Flow. 2004 IFIP
WG 1.7, ACM SIGPLAN and GI
FoMSESS Workshop
on Issues in the Theory of Security (WITS'04), April
3 - 4, 2004, Barcelona, Spain.
K. Lano, D.
Clark and K.
Androutsopoulos. UML to B:
Formal Verification of Object-oriented
Models. Fourth International
Conference on Integrated Formal Methods 4-7 April 2004 in Canterbury,
Kent, England. Springer Verlag. LNCS 2999, 2004.
D. Clark, S. Hunt and
P. Malacaria. Quantified
Interference for a While Language (extended version). Technical
Report TR-03-07, Department of Computer Science, King's College London,
October 2003.
K.
Lano, K. Androutsopoulos and D. Clark. Formal Specification and verification of
railway systems using UML. Proceedings of Formal Methods
for Railway Operation and Control Systems Workshop, Budapest, May
2003. ISBN 963 9457 450, 2003.
D. Clark, S. Hunt and P.
Malacaria. Quantitative
Analysis of the Leakage of Confidential Data.
Proceedings of Quantitative Aspects of Programming Languages, Sept.
2001 (QAPL'01), Electronic Notes in Theoretical Computer Science,
volume 59, issue 3, November 2002, Elsevier.
D. Clark, C. Hankin and S.
Hunt. Information Flow for ALGOL-like Languages.
Computer Languages (Special Issue: Computer Languages and Security),
volume 28 (1), pages 3 -- 28, April 2002. Ed. A. Cortesi and R.
Focardi. Elsevier.
D. Clark, S. Hunt and P.
Malacaria. Estimating Leakage of Confidential Data in a
Distributed System. Technical Report. 2002.
K. Lano, D.
Clark and K.
Androutsopoulos. Formalising
Inter-model Consistency of the UML. Workshop on Consistency
Problems in UML-based Software Development, Satellite of UML 2002,
September 30 - October 4, 2002, Dresden, Germany. Blekinge Institute of
Technology Research Report 2002:06
K. Lano, D. Clark and K.
Androutsopoulos. Safety and
Security Analysis of Object Oriented Models.
21st International Conference on Computer Safety, Reliability and
Security (SAFECOMP 2002), Catania, Italy, September 2002, Springer
Verlag, LNCS 2434.
K. Lano, D. Clark and K.
Androutsopoulos. From
Implicit Specifications to Explicit Designs in Reactive System
Development. Third International Conference on Integrated Formal
Methods (IFM 2002), Turku, Finland, May 2002, Springer Verlag, LNCS
2335.
K. Lano, D. Clark and K.
Androutsopoulos. RSDS: A
subset of UML with Precise Semantics. Fourth Rigorous Object
Oriented Methods Workshop (ROOM4), King's College London, March 21-22,
2002.
K. Lano, K.
Androutsopoulos,
D. Clark and P. Kan. Design
and Verification of Automation Systems using RSDS. 10th IFAC
Symposium on Information Control Problems in Manufacturing, Vienna
University of Technology, Vienna, Sept. 20-22 2001.
D. Clark, C. Hankin, S. Hunt
and Rajagopal Nagarajan. Possibilistic Information Flow
is Safe for Probabilistic Non-Interference. (extended abstract)
WITS2000. Available as postscript.
K. Lano, D. Clark, K. Androutsopoulos
and P. Kan. Invariant-based
Synthesis of Fault-tolerant Systems. FTRTFT, Pune, India, 2000.
Available as postscript.
K. Lano, K. Androutsopoulos, and D. Clark. Structuring
and Design of reactive Systems using RSDS and B. In the
proceedings of FASE, ETAPS 2000. Available as postscript.
D. Clark, C. Hankin and S.
Hunt. Safety of Strictness Analysis via Term Graph
Rewriting. In the proceedings of the Static Analysis Symposium
2000. Available as postscript.
K. Lano and D. Clark. Demonstrating
Preservation of Safety Properties in Reactive Control System Development
Proceedings of the Fourth Australian Workshop on Safety
Critical Systems and Software, Canberra, 26 November 1999.
Available as postscript.
D. Clark. Term Graph Rewriting and
Event Structures. PhD thesis, Imperial College 1996. Available
as postscript.
D. Clark and R. Kennaway. Event
Structures and Non-orthogonal Term Graph Rewriting. In:
Mathematical Structures in Computer Science (1996) vol. 6 pp. 545-578
Available as postscript.
D. Clark and R. Kennaway. Some
Properties of Non-Orthogonal Term Graph Rewriting. In:
Proceedings
of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and
Computation (SEGRAGRA '95), Volterra (Pisa, Italy), August 28 -
September 1, 1995, Electronic Notes in Theoretical Computer
Science, Elsevier. Available at Elsevier's ENTCS archives.
D. Clark, L. Errington, and C. Hankin. Static
Analysis of Value-Passing Process Calculi (Extended Abstract).
In: Proceedings of the Second Imperial College Department of
Computing Workshop on Theory and Formal Methods (C. Hankin, I.
Mackie, and R. Nagarajan, eds.), Imperial College Press, September
1995. Available as postscript.
D. Clark and C. Hankin. A
Lattice of Abstract Graphs. In: Programming Language
Implementation and Logic Programming, Talinn, Estonia (M.
Bruynooghe and J. Penjam eds.), LNCS 714, Springer-Verlag, 1993.
Available as postscript.
|
