BibSonomy :: author  ::

bookmarks

publications

(11)

• Monitoring and Reputation Mechanisms for Service Level Agreements.
  Omer F. Rana and Martijn Warnier and Thomas B. Quillinan and Frances M. T. Brazier GECON 125-139 (2008)
  to dblp by dblp on 2008-08-26 00:00:00
  | URL | BibTeX  
• Security of Distributed Digital Criminal Dossiers.
  Martijn Warnier and Frances M. T. Brazier and Anja Oskamp JSW 3 21-29 (2008)
  to dblp by dblp on 2008-08-13 00:00:00
  | URL | BibTeX  
• Organized Anonymity in Agent Systems.
  Martijn Warnier and David de Groot and Frances M. T. Brazier EUMAS (2006)
  to dblp by dblp on 2008-05-29 00:00:00
  | URL | BibTeX  
• Secure Distributed Dossier Management in the Legal Domain.
  Martijn Warnier and Frances M. T. Brazier and Martin Apistola and Anja Oskamp ARES 941-947 (2007)
  to dblp by dblp on 2008-04-25 00:00:00
  | URL | BibTeX  
• Statically checking confidentiality via dynamic labels.
  Bart Jacobs and Wolter Pieters and Martijn Warnier WITS 50-56 (2005)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Towards automatic identification of completeness and consistency in digital dossiers.
  Martijn Warnier and Frances M. T. Brazier and Martin Apistola and Anja Oskamp ICAIL 177-181 (2007)
  to dblp by dblp on 2007-08-22 00:00:00
  | URL | BibTeX  
• Conditions for access and use of legal document retrieval web services.
  Martine Boonk and Frances M. T. Brazier and David de Groot and Maarten van Stekelenburg and Anja Oskamp and Martijn Warnier ICAIL 37-41 (2007)
  to dblp by dblp on 2007-08-22 00:00:00
  | URL | BibTeX  
• Preventing Timing Leaks Through Transactional Branching Instructions.
  Gilles Barthe and Tamara Rezk and Martijn Warnier Electr. Notes Theor. Comput. Sci. 153 33-55 (2006)
  to dblp by dblp on 2006-07-24 00:00:00
  | URL | BibTeX  
• Source code verification of a secure payment applet.
  Bart Jacobs and Martijn Oostdijk and Martijn Warnier J. Log. Algebr. Program. 58 107-120 (2004)
  to dblp by dblp on 2005-02-21 00:00:00
  | URL | BibTeX  
• The Coinductive Approach to Verifying Cryptographic Protocols.
  Jesse Hughes and Martijn Warnier WADT 268-283 (2002)
  to dblp by dblp on 2004-02-06 00:00:00
  | URL | BibTeX