::: وب سایت شخصی مهندس علیرضا عظیمی ::: Alireza Azimi's Personal Web Site ::: Links



	Links
Security Formal Methods Software and Computer Science My Favorite OS: Linux How to Write Academic Papers How to Be a Good (Better) Graduate Student! Scientific Search Engines Other Interests Images 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 FIP 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: How to be a good graduate student: http://www.cs.indiana.edu/how.2b/how.2b.html Advices on CS graduate school: http://www.cs.williams.edu/~kim/gradAdvice.html Lots of nice notes on academic life by Douglas Commer: http://www.cs.purdue.edu/people/comer (Don't miss the research topic generator!) Scientific search engines ResearchIndex, Scientific Literature Digital Library: http://citeseer.nj.nec.com/cs Networked Computer Science Technical Reference Library: http://www.ncstrl.org/ The Collection of Computer Science Bibliographies: http://liinwww.ira.uka.de/bibliography/waisbib.html#search Computer Science Research Paper Search Engine: http://www.cora.jprc.com/ Search for Personal Home Pages of Computer Scientists: http://hpsearch.uni-trier.de/ Unified Computer Science TR Index (at Indiana University): http://www.cs.indiana.edu:800/cstr/ Computer Science Technical Reports (at University of Waikato - New Zealand): http://www.nzdl.org/cgi-bin/cstrlibrary?a=p&p=about arXiv.org e-Print archive: http://arxiv.org/ Other Interests Iran Iran: Historical places and landscapes Iran Information Center Home Page Islamic http://aria.nic.ir/landscape.html Copyright © 2006 AlirezaAzimi :: All rights reserved.