Projectdetails

Titel	:	Accountability in Electronic Commerce Protocols
Hoofdaanvrager	:	Prof. dr. S. Etalle
Verbonden aan	:	Universiteit Twente Faculteit der Elektrotechniek, Wiskunde en Informatica Distributed and Embedded Systems
Plaats van uitvoering	:	Vrije Universiteit Amsterdam
Looptijd	:	01/01/2004 tot 12/21/2009
Strategisch doel	:	Vrije competitie
Budget	:	Eur 422,218.00 voor personele kosten Eur 13,614.00 voor materiële kosten
Subsidie-instrument	:	Vrije competitie

Samenvatting

E-commercie maakt gebruik van steeds complexere onderhandelings- en betalingsschema's. Accountability als fundament voor het opbouwen van vertrouwen is van cruciaal belang voor het succes van dergelijke diensten. In dit project zullen wij een tool ontwikkelen en implementeren voor de specificatie, prototyping en verificatie van e-commercie protocollen, gebaseerd op constraint solving en model checking. We zullen dit tool gebruiken om accountability in bestaande e-commercie protocollen te analyseren. Op basis van deze analyse zullen wij nieuwe protocollen ontwikkelen voor elektronische onderhandeling en betaling. De nadruk zal liggen op trusted third parties, non-repudiatie, fairness, delegatie protocollen en multicast protocollen.

Producten

Artikelen

• K. Bicakci, Dr. B. Crispo, Prof. dr. A.S. Tanenbaum How to Incorporate Revocation Status Information into the Trust Metrics for Publik-Key Certification. 20th Annual ACM Symposium on Applied Computing. pp. 
• Dr. B. Crispo, Dr. D. Popescu Symmetric Key Authentication Services Revisited. Proc.ACISP 2004: The 9th Australasian Conference on Information Security and Privacy. pp. 
• R. Corin, Prof. dr. S. Etalle, Prof. dr. P.H. Hartel, Dr. A.H. Mader Timed Model Checking of Security Protocols. 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE). pp. 
• I. Staicu, G. Lenzini, R. Corin, Prof. dr. S. Etalle, Drs. J. den Hartog A Logic for Auditing Accountability in Decentralized Systems. 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST). pp. 
• Dr. J. Cederquist, Dr. M.T. Dashti Formal Analysis of a Fair Payment Protocol. 2nd Int. Workshop on Formal Aspect of Security and Trust (FAST). pp. 
• C. Gamage, B. C. Popescu, Dr. B. Crispo, Dr. S.K. Nair, Prof. dr. A.S. Tanenbaum (2005). Enabling DRM-preserving Digital Content Redistribution. Proc. 7th International IEEE Conference on E-Commerce Technology. pp. 19-22
• Dr. J. Cederquist, Dr. M.T. Dashti (2005). An intruder model for verifying termination in security protocols . Technical report TR-CTIT-05-29 Univ. of Twente. pp. 
• Dr. J. Cederquist, Dr. R.J. Corin, Dr. M.T. Dashti (2005). On the quest for impartiality: Design and analysis of a fair non-repudiation protocol. Proc 7th Int. Conf. on Information and Communications Security (ICICS). pp. 29-39
• M. A. C. Dekker, J. Cederquist, R. Corin, Prof. dr. S. Etalle, Dr. J.I. den Hartog (2005). An Audit Logic for Accountability. Proc. 6th Int. Workshop on Policies for Distributed Systems & Networks (POLICY). pp. 34-43
• Dr. J. Cederquist, Dr. M.T. Dashti (2006). An intruder model for verifying liveness in security protocols. Proc. fourth ACM workshop on Formal methods in security engineering (FMSE '06). pp. 
• Dr. M.T. Dashti, Dr. A.J. Wijs (2006). Pruning state spaces with extended beam search. CWI technical report SEN-R0610. pp. 
• Dr. M.T. Dashti, Dhr. H. Jonker, Dr. S. Nair (2006). Nuovo DRM Paradiso: formal specification and verification of a DRM protocol. CWI technical report SEN-R0602. pp. 
• M. A. C. Dekker, G. Lenzini, Dr. J. Cederquist, Dr. R.J. Corin, Prof. dr. S. Etalle, Dr. J.I. den Hartog (2006). The Audit Logic: Policy Compliance in Distributed Systems. Technical Report TR-CTIT-06-33. pp. 
• A. Saptawijaya, Dr. R.J. Corin, Prof. dr. S. Etalle (2006). PA Logic for Constraint-based Security Protocol Analysis. Proc IEEE Symposium on Security and Privacy. pp. 
• R. Gerrits, Dr. B. Crispo, Dr. S.K. Nair, Prof. dr. A.S. Tanenbaum (2008). Turning Teenagers into Stores. IEEE Computer. pp. 58-62
• P. Simpson, Dr. B. Crispo, Dr. S.K. Nair, Prof. dr. A.S. Tanenbaum (2008). A Virtual Machine Based Information Flow Control System for Policy Enforcement. Proc. of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, Electronic Notes in Theoretical Computer Science. pp. 3-16
• E. Zentveld, Dr. B. Crispo, Dr. S.K. Nair, Prof. dr. A.S. Tanenbaum (2008). Floodgate: A Micropayment Incentivised P2P Content Delivery Network. 17th IEEE International Conference on Computer Communications and Networks. pp. 
• G. Gheorghe, Dr. B. Crispo, Dr. S.K. Nair, Prof. dr. A.S. Tanenbaum (2008). Enforcing DRM Policies Across Applications. 8th ACM DRM Workshop. pp. 87-94
• H. Jonker, M. Torabi Dashti, Dr. S.K. Nair (2008). Nuovo DRM Paradiso:Designing a Secure, Verified Fair DRM Scheme. Fundamentae Informatica. pp. 1-25

Proefschriften

• Dr. S.K. Nair (2009). Remote policy enforcement using Java virtual machine. Vrije Universiteit Amsterdam. promotiedatum 19-1-2010