550 search results - page 8 / 110 » A lightweight approach to state based security testing |
108
click to vote
OOPSLA
2010
Springer
15 years 8 days ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
116
click to vote
IACR
2011
14 years 1 months ago
2011
Although anonymous authentication has been extensively studied, so far no scheme has been widely adopted in practice. A particular issue with fully anonymous authentication schemes...
101
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the problem of detecting masquerading, a security attack in which an intruder assumes the identity of a legitimate user. Many approaches based on Hidden Marko...
108
Voted
DBSEC
2003
15 years 3 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
107
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...