E. Stewart Lee

Publication Activity (10 Years)

Years Active: 1970-2004
Publications (10 Years): 0

Publications

Sijing Zhang, Alan Burns, Jing Chen, E. Stewart Lee
Hard Real-Time Communication with the Timed Token Protocol: Current State and Challenging Problems. Real Time Syst. 27 (3) (2004)
Sijing Zhang, Alan Burns, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol. Real Time Syst. 22 (3) (2002)
Sijing Zhang, E. Stewart Lee, Alan Burns
Determining the Worst-case Synchronous Message Response Time in FDDI Networks. Comput. J. 44 (1) (2001)
Sijing Zhang, Xicheng Liu, E. Stewart Lee
Effect of nodes reordering on the schedulability of real-time messages in timed token networks. IEEE Commun. Lett. 4 (12) (2000)
Sijing Zhang, E. Stewart Lee
The nonoptimality of synchronous bandwidth allocation schemes for the timed token protocol. IEEE Commun. Lett. 4 (3) (2000)
Hajime Morito, Michael Roe, E. Stewart Lee
Digital Copy Protection Scheme Using Recording Medium Identifier. ICPP Workshops (1999)
Zhong Fan, E. Stewart Lee
Pricing for Differentiated Internet Services. IDMS (1999)
Sijing Zhang, E. Stewart Lee
Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. RTCSA (1999)
Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang
Finding the minimum available transmission time for the timed token medium access control protocol. ECRTS (1999)
E. Stewart Lee
Composing Security Properties. Security Protocols Workshop (1999)
Sijing Zhang, E. Stewart Lee
The Worst-Case Scenario for Transmission of Synchronous Traffic in an FDDI Network. LCN (1999)
Aris Zakinthinos, E. Stewart Lee
Composing Secure Systems that have Emergent Properties. CSFW (1998)
Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson
Panel Session - Future Directions. Security Protocols Workshop (1998)
Aris Zakinthinos, E. Stewart Lee
A General Theory of Security Properties. IEEE Symposium on Security and Privacy (1997)
Aris Zakinthinos, E. Stewart Lee
How and why feedback composition fails [secure systems]. CSFW (1996)
Aris Zakinthinos, E. Stewart Lee
The composability of non-interference [system security]. CSFW (1995)
Aris Zakinthinos, E. Stewart Lee
The Composability of Non-Interference. J. Comput. Secur. 3 (4) (1995)
Heather M. Hinton, E. Stewart Lee
The Compatibility of Policies. CCS (1994)
Ralf C. Hauser, E. Stewart Lee
Verification and Modelling of Authentication Protocols. ESORICS (1992)
Ralf C. Hauser, E. Stewart Lee
Reducing the Proliferation of Passwords in Distributed Systems. IFIP Congress (2) (1992)
Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis
Using Deducibility in Secure Network Modelling. ESORICS (1990)
E. Stewart Lee, Brian W. Thomson, Peter I. P. Boulton, Michael Stumm
An Architecture for a Trusted Network. ESORICS (1990)
E. Stewart Lee, Peter I. P. Boulton, Brian W. Thomson
HUBNET performance measurement. IEEE J. Sel. Areas Commun. 6 (6) (1988)
E. Stewart Lee, Peter I. P. Boulton
The Principles and Performance of Hubnet: A 50 Mbit/s Glass Fiber Local Area Network. IEEE J. Sel. Areas Commun. 1 (5) (1983)
Peter I. P. Boulton, E. Stewart Lee
Bus, ring, star and tree local area networks. Comput. Commun. Rev. 13 (3) (1983)
Howard Trickey, E. Stewart Lee
Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer. SIGCSE (1979)
Zvonko G. Vranesic, E. Stewart Lee, Kenneth C. Smith
A Many-Valued Algebra for Switching Systems. IEEE Trans. Computers 19 (10) (1970)