|
The yet2.com global technology marketplace lists intellectual property, technology, and patents for technology transfer, technology licensing, patent licensing and patent sale. As premier technology brokers, yet2.com offers this essential IP marketplace for technology owners, technology seekers, and technology brokers interested in technology acquisition, patent licensing, intellectual property licensing (IP licensing), and intellectual property transfer.
more...
|
| This is an abstract of a technology that is available for sale or license. yet2.com can introduce you confidentially to the owner of this technology. |
| To view the complete TechPak, please register with us. |
 |
| Enter a keyword or phrase below, and search now to find other technologies of interest. |
|
|
|
|
 |
| On the basis of automated deduction, a newly developed prototype tool for protocol analysis offers users advanced capabilities for fast and reliable identification of flaws in protocols. Thereby, it may lead to great reductions in time-to-market and increased security in the fields of eCommerce, telecommunications, multimedia and other security-sensitive applications. A key area of computer science research is the automatic verification of large practical systems, and towards this goal, several different formal methods have been developed and applied. As such, model checking normally used in industry may automatically establish the correctness of finite-state systems, including descriptions of hardware and protocols. Nevertheless, most practical system descriptions involve large or infinite state spaces whose flaws may not be easily identified by finite-state verification methods. In this case, theorem proving constitutes an alternative solution; however, it requires a lot of manual effort from the user and sophisticated mathematics to employ. To address all these problems, an innovative protocol analysis tool for the automated verification of infinite state systems (AVISS) has been designed, implemented and tested. This push-button technology effectively combines three techniques namely the on-the-fly model checking using lazy data types, constrained theorem-proving and model checking via propositional satisfiability checking. Each of these emerging techniques is working independently while the system allows their systematic and quantitative comparison as well as their effective interaction. Moreover, the easy-of-use model checkers and the power of the theorem proving method are integrated in a fully automated way leading to a robust, flexible, reliable, fast and cost-effective system. |
|
|
 |
|
Interested? This is an abstract of a technology that is available for sale or license. yet2.com can introduce you confidentially to the owner of this technology.
|
|
To view the complete TechPak, please register with us.
|
|
|
|
