Jeremy Lawrence Jacob

Search results

• 2011

  Specifying Confidentiality in Circus

  Banks, M. J. & Jacob, J. L., 2011, p. 215-230.

  Research output: Contribution to conference › Paper › peer-review
• 2010

  Calculated Secure Processes

  Banks, M. J. & Jacob, J. L., 1 Nov 2010, p. 19--28.

  Research output: Contribution to conference › Paper

• On modelling user observations in the UTP

  Banks, M. J. & Jacob, J. L., 2010, p. 101--119.

  Research output: Contribution to conference › Paper › peer-review

• Unifying theories of confidentiality

  Banks, M. J., Jacob, J. L. & Qin, S., 2010, p. 120--136.

  Research output: Contribution to conference › Paper › peer-review
• 2008

  Searching for resource-efficient programs: low-power pseudorandom number generators

  White, D. R., Clark, J. A., Jacob, J. & Poulding, S. M., 2008, p. 1775-1782.

  Research output: Contribution to conference › Paper › peer-review
• 2006

  Human competitive security protocols synthesis

  Chen, H., Clark, J. A. & Jacob, J., 2006, p. 1855-1856.

  Research output: Contribution to conference › Paper › peer-review
• 2005

  Coordination with Multicapabilities

  Udzir, N. I., Wood, A. M. & Jacob, J. L., 2005, p. 79--108.

  Research output: Contribution to conference › Paper

• 2004

  The design of S-boxes by simulated annealing

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, p. 1533--1537.

  Research output: Contribution to conference › Paper

• 2002

  Hazard Analysis for Security Protocol Requirements

  Foster, N. & Jacob, J. L., 2002, p. 75-92.

  Research output: Contribution to conference › Paper › peer-review

• 2001

  The Role-based Access Control System of a European Bank: a case study and discussion

  Schaad, A., Moffett, J., Jacob, J. & Jaeger, T., 1 May 2001, p. 3--9.

  Research output: Contribution to conference › Paper

• 2000

  A principled semantics for inp

  Jacob, J. L., Wood, A. M., Porto, A. & Roman, G.-C., 1 Sept 2000, p. 51--65.

  Research output: Contribution to conference › Paper

• 1997

  Specifying Security in CSCW Systems

  Foley, S. N. & Jacob, J. L., 1997, p. 136--145.

  Research output: Contribution to conference › Paper

• 1991

  The Basic Integrity Theorem

  Jacob, J. L., 1 Jun 1991, p. 89--97.

  Research output: Contribution to conference › Paper

• The Varieties of Refinement

  Jacob, J. L., Morris, J. M. & Shaw, R. C., 1991, p. 441--455.

  Research output: Contribution to conference › Paper

• 1990

  Categorising Non-interference

  Jacob, J. L., 1990, p. 44--50.

  Research output: Contribution to conference › Paper

• 1989

  On The Derivation of Secure Components

  Jacob, J. L., Berson, T. & Cooper, D. M., 1 May 1989, p. 242-247.

  Research output: Contribution to conference › Paper

• 1988

  A Security Framework

  Jacob, J. L., 1 Jun 1988, p. 98--111.

  Research output: Contribution to conference › Paper › peer-review

• Security Specifications

  Jacob, J. L., 1 Apr 1988, p. 14--23.

  Research output: Contribution to conference › Paper