Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ACISP
2008
Springer

favoriteEmaildiscussreport

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

13 years 10 months ago

Distributed Verification of Mixing - Local Forking Proofs Model

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

Real-time Traffic

ACISP 2008 | Security Privacy |

claim paper

Related Content

» Multisignatures in the plain publicKey model and a general forking lemma

» Multisignatures secure under the discrete logarithm assumption and a generalized forking l...

» Verification of Liveness Properties in Distributed Systems

» Modular verification of concurrent assembly code with dynamic thread creation and terminat...

» Mechanical Verification of a Garbage Collector

» InductionOriented Formal Verification in Symmetric Interconnection Networks

» Formal Analysis of Privacy for Vehicular MixZones

» Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV an...

» Proof Sketches Verifiable InNetwork Aggregation

» Formal Verification of SafetyCritical Hybrid Systems

Post Info
More Details (n/a)

Added	01 Jun 2010
Updated	01 Jun 2010
Type	Conference
Year	2008
Where	ACISP
Authors	Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

Comments (0)