Showing results 1 to 7 of 7
Title | Author(s) | Issue Date | |
---|---|---|---|
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 | ||
Model checking for design and assurance of e-Business processes Journal:Decision Support Systems | 2005 | ||
Model checking for e-Business control and assurance Journal:IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews | 2005 | ||
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 |