550 search results - page 28 / 110 » A lightweight approach to state based security testing |
179
click to vote
DATE
1999
IEEE
15 years 10 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...
160
click to vote
ITNG
2008
IEEE
16 years 11 days 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...
172
click to vote
HICSS
2002
IEEE
15 years 11 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 ...
154
click to vote
AAAI
1994
15 years 7 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...
165
click to vote
SP
1998
IEEE
15 years 10 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...