1943 search results - page 340 / 389 » Web application security engineering |
128
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
145
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
112
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Forward-secure signatures (FSSs) have recently received much attention from the cryptographic theory community as a potentially realistic way to mitigate many of the difficulties...
117
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
134
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...