Showing results 1 to 7 of 7
| Title | Author(s) | Issue Date | Views | |
|---|---|---|---|---|
Creating automated plans for Semantic Web applications through planning as model checking Journal:Expert Systems with Applications | 2009 | |||
Forensic data mining: Finding intrusion patterns in evidentiary data Proceeding/Conference:16th Americas Conference on Information Systems 2010, AMCIS 2010 | 2010 | |||
Genetic programming for prevention of cyberterrorism through dynamic and evolving intrusion detection Journal:Decision Support Systems | 2007 | 69 | ||
Model checking for design and assurance of e-Business processes Journal:Decision Support Systems | 2005 | 54 | ||
Model checking for e-Business control and assurance Journal:IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews | 2005 | 35 | ||
Standards and verification for fair-exchange and atomicity in e-commerce transactions Journal:Information Sciences | 2006 | |||
The application of model checking for securing E-commerce transactions Journal:Communications of the ACM | 2006 | 52 |