E. Stewart Lee - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2004

Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging ProblemsSijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee. rts, 27(3):271-295, 2004. [doi]

2002

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control ProtocolSijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang. rts, 22(3):251-280, 2002.

2001

Determining the Worst-case Synchronous Message Response Time in FDDI NetworksSijing Zhang, E. Stewart Lee, Alan Burns. cj, 44(1):31-41, 2001. [doi]

2000

The nonoptimality of synchronous bandwidth allocation schemes for the timed token protocolSijing Zhang, E. Stewart Lee. icl, 4(3):101-103, 2000. [doi]

Effect of nodes reordering on the schedulability of real-time messages in timed token networksSijing Zhang, Xicheng Liu, E. Stewart Lee. icl, 4(12):420-422, 2000. [doi]

1999

1998

Panel Session - Future DirectionsRoger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson. ispw 1999: 227-239 [doi]

Composing Secure Systems that have Emergent PropertiesAris Zakinthinos, E. Stewart Lee. csfw 1998: 117-122 [doi]

1997

A General Theory of Security PropertiesAris Zakinthinos, E. Stewart Lee. sp 1997: 94-102 [doi]

1996

How and why feedback composition fails [secure systems]Aris Zakinthinos, E. Stewart Lee. csfw 1996: 95-101 [doi]

1995

The composability of non-interference [system security]Aris Zakinthinos, E. Stewart Lee. csfw 1995: 2-8 [doi]

The Composability of Non-InterferenceAris Zakinthinos, E. Stewart Lee. jcs, 3(4):269-282, 1995.

1994

The Compatibility of PoliciesHeather M. Hinton, E. Stewart Lee. ccs 1994: 258-269 [doi]

1992

Reducing the Proliferation of Passwords in Distributed SystemsRalf C. Hauser, E. Stewart Lee. ifip 1992: 525-531

Verification and Modelling of Authentication ProtocolsRalf C. Hauser, E. Stewart Lee. esorics 1992: 141-154 [doi]

1990

An Architecture for a Trusted NetworkE. Stewart Lee, Brian W. Thomson, Peter I. P. Boulton, Michael Stumm. esorics 1990: 105-113

Using Deducibility in Secure Network ModellingBrian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis. esorics 1990: 117-123

1988

HUBNET performance measurementE. Stewart Lee, Peter I. P. Boulton, Brian W. Thomson. jsac, 6(6):1025-1032, 1988. [doi]

1983

Bus, ring, star and tree local area networksPeter I. P. Boulton, E. Stewart Lee. ccr, 13(3):19-24, 1983. [doi]

The Principles and Performance of Hubnet: A 50 Mbit/s Glass Fiber Local Area NetworkE. Stewart Lee, Peter I. P. Boulton. jsac, 1(5):711-720, 1983. [doi]

1979

Experience with OLGA A Maximal language for the minimal PDP-11 minicomputerHoward Trickey, E. Stewart Lee. sigcse 1979: 240-244 [doi]

1970

A Many-Valued Algebra for Switching SystemsZvonko G. Vranesic, E. Stewart Lee, Kenneth C. Smith. TC, 19(10):964-971, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL