Links

Security

Peoples

  • Matt Bishop : Unoversiy of California at Davis;Vulnerability analysis, Robust progtramming, Access control models
  • List of Security Cryptography People
  • Another list of security people
  • Paul Syverson (At NRL, Interests: Formal specification and analyzing, Anonymity, Reliability , Authentication mechanisms)
  • Iliano Cervesato
    Stanford University.
    Interests: Security specification languages, intruder models, verification
    He also presented Computer Security and Security Protocol Specification Languages course with ppt slides.
  • Li Gong at SRI
  • Catherine Meadows Formal Verification of Cryptographic Protocols project at NRL
  • John McLean at NRL
  • Peter Neumann at SRI
  • CAPSL home page with link to bibliography.
  • Graham Steel  (Formal methods)
  • Ravi Sandhu's (Role base access control, Database security)
  • Paul Syverson
  • Katerina Goseva (FT-Security)
  • Iliano Cervesato
  • Erland Jonsson (FT-Security)
  • Stefan Axelsson (IDS)
    •

    Research Centers

  • Groups and Organizations
    A number of computer security organizations exists that provide information to the public or to their members
  • ACM SIGSAC -ACM Special Interest Group on Security, Audit and Control
  • IEEE Computer Society Technical Committee on Security and Privacy
  • NIST Computer Security Division 893 and CSRC
  • Role Based Access Control in NIST
  • Computer Security Foundations Workshop
  • Oxford security group
  • University of Cambridge - Computer Security Group
  • UC Davis Computer Security Laboratory
  • Intrusion Detection Research
  • Distributed Security Research Group
  • Common Authentication Protocol Specification Language (CAPSL)
  • International Association for Cryptologic Research
  • ISO 17799 Service & Software Directory
  • ISO 17799 Information and Resource Portal
  • International ISO 17799 Community Forum
  • Information Security Policies - Launchpad and start point
  • The Computer Security Institute
  • Links of Research in Security
  • LIST [DB Secuirty]
  • IBM Zurich Network security and cryptography
  • IWS Computer Security & Information Security (Basic docs, news)
  • U.S. DOE-CIAC (Computer Incident Advisory Capability) (Latest news)
  • NISER National ICT Security and Emergency Response Centre
    •

    Papers and Documents

  • Glossary:

  • SoftForum Security Glossary

  • CERT Archive
  • SANS Readings (Including many research papers about different topiccs)
  • Computer Security History Project (Including early security papers)
  • Documents: Many articles have been written about various topics in computer and network security that have been published on the Internet.
  • Security FAQs
  • Request for Comments (RFC) on computer and network security topics
  • Security Reading Group in Stanford - Papers and Peoples
  • NAVY Research Publications
  • Microsoft® Windows® 2000 Security Architecture
    •

    Conferences

  • Upcomming Conferences:
    • CSFW-15, 15th IEEE Computer Security Foundations Workshop) - General Chair
      Cape Breton, Nova Scotia, Canada, June 24-26, 2002
      (submission deadline: February 2 2002)
    • FCS'02, FLoC'02 Satellite Workshop on Foundations of Computer Security - Program Chair
      Copenhagen, Denmark, July 26, 2002,
      (submission deadline: April 22 2002)
    • TIME'02, 9th International Symposium on Temporal Representation and Reasoning - PC Member
      Manchester, UK, July 4-6
      (submission deadline: February 22 2002)
    • VERIFY'02, 2nd Verification Workshop - PC Member
      Copenhagen, Denmark, July 25-26, 2002,
      (submission deadline: April 22 2002)
  • Review of Conferences (Readers guide)
  • European Symposium on Research in Computer Security
  • 2001 Conferences
  • IFIP SEC'2001 - IFIP Information Security
  • USENIX - Events By Name - Symposium on Security
    •

    Journals

  • Journal of Computer Security
  • ACM Transactions on Information and System Security
  • Security & Privacy Supplement
  • Crypto-Gram Newsletter
  • Cipher The Newsletter of the IEEE Computer Society Technical Committee on Security and Privacy
    •

    Software

  • Software: A large amount of software is available to improve the security of a system.

    • Mailing Lists and Newsgroups

  •  Mailing Lists  Mailing Lists provide a dialog on areas of interest to the members of the list. 
  • Electronic Magazines, Newsletters and News Sites  There are some magazines, newsletters and news sites available online that provide timely information about computer security. 
  •   Newsgroups USENET newsgroups are a series of discussion groups that can be useful to obtain current information of a specific topic. Some newsgroups are a better source of information than others. 

    • Other Link Collections

  • Cryptographic protocols biblo
  • World Wide Web (WWW) Sites: Many WWW sites provide a large amount of information about various topics in computer security. Some of these sites are simply large indexes but others contain a collection of information on a specific topic.
  • Some security sites
    •

    Hacking

  • crackinguniversity2000 (Hacking), (Cracking)

  • http://www.hackerwhacker.com
  • Astalavista
  • HackFAQ (in Dutch)
    •

    Formal Methods

  • WWW Virtual Library: Formal Methods: http://archive.comlab.ox.ac.uk/formal-methods/
  • Formal Methods Around The World: http://lal.cs.byu.edu/other_FM.html
  • SRI International Computer Science Laboratory(Some papers on Formal Methods): http://www.csl.sri.com/fm-papers.html
  • LNCS Table of Contents and Abstracts: http://link.springer-ny.com/link/service/series/0558/tocs0001.htm

    • Software and Computer Science

  • CU2000. A great site on computer programming
  • The Math & CS e-journals
    •

    Linux

  • Kernel
  • Linux applications
  • Linux Links
  • Linux Tutorial
  • Linux.DaveCentral.com Tutorial Shareware, Freeware, Demos and Betas
    •

    How to write academic papers:

  • Online Technical Writing: http://www.io.com/~hcexres/tcm1603/acchtml/acctoc.html
  • How to write a graduate thesis: http://www.sce.carleton.ca/faculty/chinneck/thesis.html
  • Publication page of Leslie Lamport, with nice stories about submissions: http://research.microsoft.com/users/lamport/pubs/pubs.html
  • Some useful links on Plagiarism:
  • Plagiarism and Citing References by Keith Stanger (very good site for information on how to reference as well as how NOT to plagiarize.)
  • Plagiarism Brochure from UBC (has examples of plagiarism, including patchwork plagiarism).
  • Avoiding Plagiarism from UCDavis
  • The Problem of Plagiarism Engineering Writing Centre, Univ. of Toronto
  • Avoiding Plagiarism, Links from Univ. of Wisconsin, La Crosse
  • Plagiarism and Academic Honesty Cape Fear Community College

    • How to be a Good (Better) graduate student:

    Scientific search engines

    Other Interests

    Acknowledgment: Thanks to my friend Mr. Mousavi for him interesting links.