Jeremy Jacob - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2021

Temporal Reasoning Through Automatic Translation of tock-CSP into Timed AutomataAbdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob. sbmf 2021: 70-86 [doi]

2014

Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to HypervisorsMustafa Aydin, Jeremy Jacob. closer 2014: 604-609 [doi]

Sealed Containers in ZEerke A. Boiten, Jeremy Jacob. asm 2014: 136-141 [doi]

2013

A comparison of major issues for the development of forensics in cloud computingMustafa Aydin, Jeremy Jacob. icitst 2013: 77-82 [doi]

2008

Searching for resource-efficient programs: low-power pseudorandom number generatorsDavid Robert White, John Clark, Jeremy Jacob, Simon M. Poulding. gecco 2008: 1775-1782 [doi]

The certification of the Mondex electronic purse to ITSEC Level E6Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob. fac, 20(1):5-19, 2008. [doi]

2006

Human competitive security protocols synthesisHao Chen, John A. Clark, Jeremy Jacob. gecco 2006: 1855-1856 [doi]

2005

Specifying Information-Flow ControlsHoward Chivers, Jeremy Jacob. icdcsw 2005: 114-120 [doi]

2001

Hazard Analysis for Security Protocol RequirementsNathalie Foster, Jeremy Jacob. netsec 2001: 75-92

The role-based access control system of a European bank: a case study and discussionAndreas Schaad, Jonathan D. Moffett, Jeremy Jacob. SACMAT 2001: 3-9 [doi]

2000

Two-Stage Optimisation in the Design of Boolean FunctionsJohn A. Clark, Jeremy Jacob. acisp 2000: 242-254

1995

On the Security of Recent ProtocolsJohn A. Clark, Jeremy Jacob. ipl, 56(3):151-155, 1995. [doi]

Specifying security for CSCW systemsSimon N. Foley, Jeremy Jacob. csfw 1995: 136 [doi]

Specifying Security for Computer Supported Collaborative WorkingSimon N. Foley, Jeremy Jacob. jcs, 3(4):233-254, 1995.

1992

A Model of Reconfiguration in Communicating Sequential Processes with a Notion of TransactionsJeremy Jacob. ipl, 41(1):9-12, 1992.

1991

The Basic Integrity TheoremJeremy Jacob. csfw 1991: 89-97

A Uniform Presentation of Confidentiality PropertiesJeremy Jacob. TSE, 17(11):1186-1194, 1991. [doi]

1990

Categorizing non-interferenceJeremy Jacob. csfw 1990: 44-50

A Model of Reconfiguration in Communicating Sequential ProcessesJeremy Jacob. ipl, 35(1):19-22, 1990.

Separability and the Detection of Hidden ChannelsJeremy Jacob. ipl, 34(1):27-29, 1990.

1988

A Security FrameworkJeremy Jacob. csfw 1988: 98-111

Security specificationsJeremy Jacob. sp 1988: 14-23 [doi]

Sign in or sign up to see more results.

runs on WebDSL