3792 search results - page 4 / 759 » Techniques for Trusted Software Engineering |
EDBTW
2004
Springer
13 years 10 months ago
2004
Springer
The problem of answering queries posed to a peer who is a member of a peer-to-peerdataexchangesystemisstudied.Theanswershavetobeconsistentwrt to both the local semantic constraints...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
SCAM
2007
IEEE
13 years 11 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
CISSE
2008
Springer
13 years 7 months ago
2008
Springer
