3428 search results - page 367 / 686 » Making the Case |
170
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
205
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
168
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
188
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
181
click to vote
DFT
2007
IEEE
16 years 1 months ago
2007
IEEE
Many side-channel attacks on implementations of cryptographic algorithms have been developed in recent years demonstrating the ease of extracting the secret key. In response, vari...