1585 search results - page 42 / 317 » A framework for computer-aided validation |
JSW
2008
14 years 11 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
114
click to vote
WWW
2009
ACM
15 years 6 months ago
2009
ACM
Detection of web attacks is an important issue in current defense-in-depth security framework. In this paper, we propose a novel general framework for adaptive and online detectio...
IRI
2006
IEEE
15 years 5 months ago
2006
IEEE
: Data integrity of web resources is becoming more and more important with the increasing development of Internet. In the context of active intermediaries, current solution for dat...
AIM
2006
15 years 1 months ago
2006
: Companies implementing an IS/IT backsourcing strategy (i.e. bringing IT functions back in-house after they have been outsourced) aiming at increasing operational effectiveness ma...
101
click to vote
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...