3115 search results - page 552 / 623 » Synthesizing Secure Protocols |
137
click to vote
PKC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Direct anonymous attestation (DAA) is an anonymous authentication scheme adopted by the Trusted Computing Group in its specifications for trusted computing platforms. Th...
177
click to vote
PKDD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Analysis of privacy-sensitive data in a multi-party environment often assumes that the parties are well-behaved and they abide by the protocols. Parties compute whatever ...
137
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
112
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
124
click to vote
CNSR
2006
IEEE
15 years 10 months ago
2006
IEEE
Ad-hoc networks rely on participation and cooperation of nodes within the network to transmit data to destinations. However, in networks where participating nodes are controlled b...