About site: Human-Computer Interaction/Research - Software Safety Research at MIT
Return to Computers
  About site: http://sunnyday.mit.edu/safety.html

Title: Human-Computer Interaction/Research - Software Safety Research at MIT The Massachusetts Institute of Technology offering information on current projects and papers.
Explanation_Component_of_Software_Systems Discuses techniques for generating explanations in software products. Published in Crossroads, ACM student magazine, by Bruce A. Wooley. (January 29, 2001)

AccessCard Links to Macintosh underground sites.

CowFight Team of Macintosh underground developers, creators of ZapAttack, MacSmurf, SYNer and Cyanide.

Mac_Hackers Macintosh Hacking forums from Mac OS X security, development to system modifications.

mSec Developers and administrators dedicated to forwarding the MacOS as a viable and secure network server environment.

Nessno File server information, downloads and links for the Macintosh.


  Alexa statistic for http://sunnyday.mit.edu/safety.html





Get your Google PageRank






Please visit: http://sunnyday.mit.edu/safety.html


  Related sites for http://sunnyday.mit.edu/safety.html
    Team2600 Team2600 is the oldest Macintosh-only underground group now defunct and unmaintained.
    Thee_Gran_Dive_X Commentary, links and reviews with an underground perspective.
    TUW Fever's updated list of underground links.
    WDSecurity Homepage of WeeDo, developer of GrouchySmurf and StreamEdit.
    CipherActive Designer of software that accelerates public key cryptography.
    CopySafe Software system for the protection of online website content. Plugin allows viewing of encrypted images on end-user system, while disallowing saving of images.
    Cryptographic_Appliances Develops hardware security products including cryptographic accelerator cards, secure appliances and supporting applications.
    Data_Encryption_Information_Center A comprehensive site that guides ordinary users and students around the subject of data encryption.
    DESlock+ Transparent encryption of files, folders and emails with an optional USB token. Supports AES, 3DES and Blowfish algorithms.
    Digilox Software products combining encryption, bio-metric authentication and Digital Rights Management for protection of stand alone and web based digital data.
    Digital_Security_International Backup tape drive encryption hardware. Product and company details, news and contact information.
    Distributed_Management_Systems_Ltd_ Manufacturer of user authentication tokens, including a CESG-certified version for UK Government use.
    DISUK_Limited Supplier of data encryption devices for tape backup and archive drives.
    DOMUS_IT_Security_Laboratory Accredited laboratory evaluates and certifies security and cryptographic products against Common Criteria, FIPS 140 and INTERAC (SPED).
    Encryption_Software_Inc Public key encryption add-ons for a selection of instant messenging programs. Also offer elliptic curve cryptography (ECC) libraries.
    Encryption_Wizard_for_Oracle Offering data encryption software for the Oracle RDMBS. The Encryption Wizard can perform DES3 Encryption and obfuscation on a complete schema.
    Fortify_for_Netscape Provides free, world-wide, unconditional, full strength 128-bit cryptography to users of Netscape Navigator and Communicator.
    Ingrian_Networks Offers a security appliance that encrypts critical data in applications and databases.
    MCSoft_Security_Solutions Offers cryptography and wipe software.
    Megacryption Data encryption software for mainframe environments. Supports most common algorithms and data compression. [z/OS, OS/390]
    Navastream A leading provider of encryption devices for IP, ISDN, Email, and Cellular Communications, using Triple-DES and the newer AES standards.
    North_American_Strong_Cryptographic_Software_Archive A listing of cryptographic software, available to North American users only.
    Pate_Williams\'_Implementations Cryptographic algorithms in C programming language.
    PMC_Ciphers_Inc Military strength file and disk encryption tools. Product descriptions, on-line purchasing and contact information.
    Pointsec_Mobile_Technologies Develops and markets access-control and encryption systems for desktops, notebooks, PDAs and smartphones.
    Polymorphic_cryptography Huge keysize cryptography.
    Privador Secure Sockets Agent (SSA) encryption software for securing remote access and extranet connections. Product and company information, news, downloads and partner scheme.
    Secure_Content SecuresContent software provides credentialing and authorization to encrypt any type of data. Data can be restored only by groups with access credentials.
    Sigaba Secure e-mail, instant messaging and document transmission. Product details, news, customer portfolio, support options and contact information.
    Utimaco_Safeware_AG Hard-disk, file and e-mail encryption software products. Product information, downloads, partner program and contact details.
    Defensive_Programming Growing article, with links to many related topics. [Wikipedia]
    Oulu_University_Secure_Programming_Group Goal: study, evaluate, develop means to implement and test application and system software to prevent, discover and prevent implementation level security vulnerabilities pro-actively, and via software
    Secure_Programming_for_Linux_and_Unix_Howto Design and implementation guidelines for writing secure programs for POSIX operating systems.
    Secure_Programming_Techniques First installment in multipart series of excerpts from Practical Unix & Internet Security, 3rd Edition; tips and general design principles to code by to avoid security-related bugs. O'Reilly Media
    SecureProgramming_com Recipes for cryptography, authentication, networking, input validation, certificate, many security issues. Weblog, glossary, articles, books, links, software.
    Argogroup Provides Monitor Master that helps the operators of mobile phone networks tests and monitors content such as WAP, SMS, EMS and MMS for usability, compliancy and interoperability.
    Lattice,_Inc_ Provides applications software for users of mobile computers in a variety of industries, including healthcare and gas and electric, automating many tasks for mobile workers.
    Tadpole_Technology Portable Unix workstations and servers, and Java field information systems for utilities, telecommunications and public service industries.
    Tegic_Communications Text input technology for handheld devices. Developers of T9 Text Input.
    Wall_Street_Network Offers the Pontis Data Collector (PonDC) software to collect bridge inspection data at the point of inspection.
This is now2007.com cache of m/ as retrieved on 2008.11.21 now2007.com's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
System Safety and Software Safety Research at MIT

System Safety and Software Safety Research

The goal of the MIT Safety Project is to develop a theoretical foundation for safety and a methodology for building safety-critical systems built upon that foundation. The methology includes special management structures and procedures, system hazard analysis, software hazard analysis, requirements modeling and analysis for completeness and safety, design for safety, design of human-machine interaction, verification (both testing and code analysis), operational feedback, and change analysis. In Safeware: System Safety and Computers, Nancy Leveson summarizes the issues involved and lays the foundation for building safer software-intensive systems. A second book is in preparation that will introduce a new approach to system safety. A company, Safeware Engineering Corporation has been established to transfer the research ideas to industrial practice and commercial tools. Research Papers People
 

The

Massachusetts

Institute

of

Technology

offering

information

on

current

projects

and

papers.

http://sunnyday.mit.edu/safety.html

Software Safety Research at MIT 2008 November

dvd rental

dvd


The Massachusetts Institute of Technology offering information on current projects and papers.

Rules




© 2005 Internet Explorer 5+ or Netscape 6+

Recommended Sites: 1. Arts - Business - Computers - Games - Health - Home - Kids and Teens - News - Recreation - Reference - Regional - Science - Shopping - Society - Sports - World Miss Gallery - Top Anime Hentai - DVD rental by mail - Loans - Buy Anything On eBay - WoW Gold - Secured Loans - Mortgages
2008-11-21 03:12:45

Copyright 2005, 2006 by Webmaster
Websites is cool :)