550 search results - page 28 / 110 » A lightweight approach to state based security testing |
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
Test application time is an important factor in the overall cost of VLSI chip testing. We present a new ATPG approach for generating compact test sequences for sequential circuits...
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose a hierarchy-driven approach to facilitate student learning and foster a deeper understanding of the importance of attack patterns in computer, network, and software sec...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Today’s distributed e-commerce applications typically rely upon various technologies in their realization, including the web, scripting languages, server-side processing and an ...
AAAI
1994
14 years 11 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
92
Voted
SP
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...