| Updated Blogs |
|
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....
|
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping
Title: Reliable Software Laboratory of UCSB
Description: The Reliable Software Group (RSG) works on languages and tools for designing, building, and validating software systems. Specific areas that the group has targeted include concurrent and real-time systems. We are also investigating techniques for increasing the security of computer systems, with particular emphasis on analyzing encryption protocols using machine aided formal verification techniques, modeling and analyzing covert channels, modeling and detecting computer intrusions, analyzing mobile code and Web browsers for security violations, and approaches to secure Internet computing with unsecure applications.
Directory: Computers/Security/Intrusion_Detection_Systems/Research
Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.
©2004 Jasmine Computers Inc.
Click here to subscribe for Jasminecorp's product News.
Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service
Our Portfolio ||
Our Clients ||
Job Opportunities
|| Free GuestBook
|| Free
Quote
Buy Books
|| Tell a Friend
|| Special Offer
|| Contact Us
|| Free Tutorial
|| Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory