A Many-Valued Algebra for Switching Systems. - Zvonko G. Vranesic; E. Stewart Lee; Kenneth C. Smith (IEEE Trans. Computers, 1970)

Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer. - Howard Trickey; E. Stewart Lee (SIGCSE, 1979)

Bus, ring, star and tree local area networks. - Peter I. P. Boulton; E. Stewart Lee (Comput. Commun. Rev., 1983)

The Principles and Performance of Hubnet: A 50 Mbit/s Glass Fiber Local Area Network. - E. Stewart Lee; Peter I. P. Boulton (IEEE J. Sel. Areas Commun., 1983)

HUBNET performance measurement. - E. Stewart Lee; Peter I. P. Boulton; Brian W. Thomson (IEEE J. Sel. Areas Commun., 1988)

Transforming bit-serial communication circuits into fast parallel VLSI implementations. - David M. Lewis; Brian W. Thomson; Peter I. P. Boulton; E. Stewart Lee (IEEE J. Solid State Circuits, 1988)

An Architecture for a Trusted Network. - E. Stewart Lee; Brian W. Thomson; Peter I. P. Boulton; Michael Stumm (ESORICS, 1990)

Using Deducibility in Secure Network Modelling. - Brian W. Thomson; E. Stewart Lee; Peter I. P. Boulton; Michael Stumm; David M. Lewis (ESORICS, 1990)

Verification and Modelling of Authentication Protocols. - Ralf C. Hauser; E. Stewart Lee (ESORICS, 1992)

Reducing the Proliferation of Passwords in Distributed Systems. - Ralf C. Hauser; E. Stewart Lee (IFIP Congress (2), 1992)

The Compatibility of Policies. - Heather M. Hinton; E. Stewart Lee (CCS, 1994)

The composability of non-interference [system security]. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1995)

The Composability of Non-Interference. - Aris Zakinthinos; E. Stewart Lee (J. Comput. Secur., 1995)

How and why feedback composition fails [secure systems]. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1996)

A General Theory of Security Properties. - Aris Zakinthinos; E. Stewart Lee (S&P, 1997)

Composing Secure Systems that have Emergent Properties. - Aris Zakinthinos; E. Stewart Lee (CSFW, 1998)

Panel Session - Future Directions. - Roger M. Needham; E. Stewart Lee; Joan Feigenbaum; Virgil D. Gligor; Bruce Christianson (Security Protocols Workshop, 1998)

Finding the minimum available transmission time for the timed token medium access control protocol. - Sijing Zhang; E. Stewart Lee; Alan Burns 001; Hongji Yang (ECRTS, 1999)

Digital Copy Protection Scheme Using Recording Medium Identifier. - Hajime Morito; Michael Roe; E. Stewart Lee (ICPP Workshops, 1999)

Pricing for Differentiated Internet Services. - Zhong Fan; E. Stewart Lee (IDMS, 1999)

The Worst-Case Scenario for Transmission of Synchronous Traffic in an FDDI Network. - Sijing Zhang; E. Stewart Lee (LCN, 1999)

Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. - Sijing Zhang; E. Stewart Lee (RTCSA, 1999)

Composing Security Properties. - E. Stewart Lee (Security Protocols Workshop, 1999)

The nonoptimality of synchronous bandwidth allocation schemes for the timed token protocol. - Sijing Zhang; E. Stewart Lee (IEEE Commun. Lett., 2000)

Effect of nodes reordering on the schedulability of real-time messages in timed token networks. - Sijing Zhang; Xicheng Liu; E. Stewart Lee (IEEE Commun. Lett., 2000)

Determining the Worst-case Synchronous Message Response Time in FDDI Networks. - Sijing Zhang; E. Stewart Lee; Alan Burns 001 (Comput. J., 2001)

Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. - Sijing Zhang; Alan Burns 001; Ahmed Mehaoua; E. Stewart Lee; Hongji Yang (Real Time Syst., 2002)

Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. - Sijing Zhang; Alan Burns 001; Jing Chen; E. Stewart Lee (Real Time Syst., 2004)