947 search results - page 158 / 190 » Provable Implementations of Security Protocols |
AAAIDEA
2005
IEEE
14 years 3 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
FC
2000
Springer
14 years 1 months ago
2000
Springer
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...
IACR
2011
12 years 9 months ago
2011
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...