Jeremy L. Jacob

Jeremy Jacob

	2011
38		Michael J. Banks, Jeremy L. Jacob: Specifying Confidentiality in Circus. FM 2011: 215-230
	2010
37		Jeremy L. Jacob: Trace Specifications in Alloy. ASM 2010: 105-117
36		Michael J. Banks, Jeremy L. Jacob: On Modelling User Observations in the UTP. UTP 2010: 101-119
35		Michael J. Banks, Jeremy L. Jacob: Unifying Theories of Confidentiality. UTP 2010: 120-136
34		Xun Dong, John A. Clark, Jeremy L. Jacob: Defending the weakest link: phishing websites detection by analysing user behaviours. Telecommunication Systems 45(2-3): 215-226 (2010)
	2008
33		David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding: Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO 2008: 1775-1782
32		Xun Dong, John A. Clark, Jeremy L. Jacob: Threat Modelling in User Performed Authentication. ICICS 2008: 49-64
31		Xun Dong, John A. Clark, Jeremy L. Jacob: User behaviour based phishing websites detection. IMCSIT 2008: 783-790
30		Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob: The certification of the Mondex electronic purse to ITSEC Level E6. Formal Asp. Comput. 20(1): 5-19 (2008)
	2007
29		Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
28		Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob: Coordination with multicapabilities. Sci. Comput. Program. 64(2): 205-222 (2007)
	2006
27		Hao Chen, John A. Clark, Jeremy Jacob: Human competitive security protocols synthesis. GECCO 2006: 1855-1856
	2005
26		Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob: Coordination with Multicapabilities. COORDINATION 2005: 79-93
25		Howard Chivers, Jeremy Jacob: Specifying Information-Flow Controls. ICDCS Workshops 2005: 114-120
24		Hao Chen, John A. Clark, Jeremy L. Jacob: Synthesising Efficient and Effective Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 25-41 (2005)
23		John A. Clark, Jeremy L. Jacob, Susan Stepney: The Design of S-Boxes by Simulated Annealing. New Generation Comput. 23(3): 219-231 (2005)
	2004
22		John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica: Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Computational Intelligence 20(3): 450-462 (2004)
21		Hao Chen, John A. Clark, Jeremy L. Jacob: Automated Design of Security Protocols. Computational Intelligence 20(3): 503-516 (2004)
	2003
20		John A. Clark, Jeremy L. Jacob, Susan Stepney: Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. GECCO 2003: 2022-2033
	2002
19		John A. Clark, Jeremy L. Jacob: Fault Injection and a Timing Channel on an Analysis Technique. EUROCRYPT 2002: 181-196
18		John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan: Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT 2002: 246-259
	2001
17		Nathalie Foster, Jeremy Jacob: Hazard Analysis for Security Protocol Requirements. Network Security 2001: 75-92
16		Andreas Schaad, Jonathan D. Moffett, Jeremy Jacob: The role-based access control system of a European bank: a case study and discussion. SACMAT 2001: 3-9
15		John A. Clark, Jeremy L. Jacob: Protocols are programs too: the meta-heuristic search for security protocols. Information & Software Technology 43(14): 891-904 (2001)
	2000
14		John A. Clark, Jeremy Jacob: Two-Stage Optimisation in the Design of Boolean Functions. ACISP 2000: 242-254
13		Jeremy L. Jacob, Alan M. Wood: A Principled Semantics for inp. COORDINATION 2000: 51-65
12		John A. Clark, Jeremy L. Jacob: Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. IEEE Symposium on Security and Privacy 2000: 82-95
	1998
11		Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998)
	1995
10		Simon N. Foley, Jeremy Jacob: Specifying security for CSCW systems. CSFW 1995: 136-
9		John A. Clark, Jeremy Jacob: On the Security of Recent Protocols. Inf. Process. Lett. 56(3): 151-155 (1995)
8		Simon N. Foley, Jeremy Jacob: Specifying Security for Computer Supported Collaborative Working. Journal of Computer Security 3(4): 233-254 (1995)
	1992
7		Jeremy Jacob: A Model of Reconfiguration in Communicating Sequential Processes with a Notion of Transactions. Inf. Process. Lett. 41(1): 9-12 (1992)
	1991
6		Jeremy Jacob: The Basic Integrity Theorem. CSFW 1991: 89-97
5		Jeremy Jacob: A Uniform Presentation of Confidentiality Properties. IEEE Trans. Software Eng. 17(11): 1186-1194 (1991)
	1990
4		Jeremy Jacob: Categorizing non-interference. CSFW 1990: 44-50
3		Jeremy Jacob: Separability and the Detection of Hidden Channels. Inf. Process. Lett. 34(1): 27-29 (1990)
2		Jeremy Jacob: A Model of Reconfiguration in Communicating Sequential Processes. Inf. Process. Lett. 35(1): 19-22 (1990)
	1988
1		Jeremy Jacob: A Security Framework. CSFW 1988: 98-111

Coauthor Index

1	Michael J. Banks	[35] [36] [38]
2	Phillip J. Brooke	[29]
3	David M. Cattrall	[11]
4	Hao Chen	[21] [24] [27]
5	Howard Chivers	[25]
6	John A. Clark (John Andrew Clark)	[9] [12] [14] [15] [18] [19] [20] [21] [22] [23] [24] [27] [30] [31] [32] [33] [34]
7	David Cooper	[30]
8	Xun Dong	[31] [32] [34]
9	Simon N. Foley	[8] [10]
10	Nathalie Foster	[17]
11	Subhamoy Maitra	[18] [22]
12	John A. McDermid	[11]
13	William Millan	[18]
14	Jonathan D. Moffett	[16]
15	Richard F. Paige	[29]
16	Simon M. Poulding	[33]
17	Andreas Schaad	[16]
18	Pantelimon Stanica (Pante Stanica)	[22]
19	Susan Stepney	[18] [20] [23] [30]
20	Ian Toyn	[11]
21	Nur Izura Udzir	[26] [28]
22	David Robert White	[33]
23	Alan M. Wood	[13] [26] [28]
24	Jim Woodcock (J. C. P. Woodcock)	[30]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page