Cyber Security Symposium, March 15

[Dominic Duggan <dduggan@cs.stevens-tech.edu>]

                               Symposium on
                  Cyber Security and Trustworthy Software

                           Friday, March 15, 2002
                      Stevens Institute of Technology
                          Hoboken, New Jersey, USA


This symposium brings together researchers and practitioners, in
government, academia and industry, to discuss problems and possible
solutions in cyber security, both for e-commerce and for homeland
security. A particular emphasis of the symposium is to bring together
those interested in communications security and in end-to-end
security.

Further information is available at the web site:
http://guinness.cs.stevens-tech.edu/~dduggan/Public/NJITES/symposium.html


8:30-9:15 Registration and breakfast

9:15 Opening remarks

9:30-10:30 Keynote talk: The Case for Language-Based Security.
        Fred Schneider, Cornell University.

10:30-11:00 Coffee break.

11:00-11:30 A Decentralized Mechanism for Distributed Access Control.
        Naftaly Minsky, Rutgers University.

11:30-12:00 Java, Access Control and Static Analysis.
        David Naumann, Stevens Institute of Technology.

12:00-12:30 Security Protocols for Wireless Computing.
        Susanne Wetzel, Stevens Institute of Technology.

12:30-2:00 Lunch.

2:00-3:00 Keynote talk: Network Security.
        Steve Bellovin, AT&T Laboratories.

3:00-3:30 Coffee break.

3:30-4:00 Fault Tolerance, Security and Programming Languages.
        Dominic Duggan, Stevens Institute of Technology.

4:00-4:30 Formal Analysis of Security Protocols in a Concurrent
        Logical Framework. David Walker, Princeton University.

4:30-5:00 Intrusion Detection in Wireless Networks.
        Constantine Manikopoulos, New Jersey Institute of Technology.

5:00 Concluding remarks.