537 search results - page 42 / 108 » A threat-driven approach to modeling and verifying secure so... |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
CMS
2003
13 years 9 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...