|
@InProceedings{warnierBrazierApistolaOskamp:2007b,
author = {Warnier, Martijn and Brazier, Frances and Apistola,
Martin and Oskamp, Anja},
title = {Towards Automatic Identification of Completeness and
Consistency in Digital Dossiers},
booktitle = {Proceedings of the Eleventh International Conference
on Artificial Intelligence and Law (ICAIL'07)},
year = {2007},
publisher = {ACM Press}
}
@InProceedings{boonkBrazierDeGrootVanStekelenburgOskampWarnier:2007,
author = {Boonk, Martine and Brazier, Frances and de Groot,
David and van Stekelenburg, Maarten and Oskamp, Anja
and Warnier, Martijn},
title = {Conditions for Access and Use of Legal Document
Retrieval Web Services},
booktitle = {Proceedings of the Eleventh International
Conference on Artificial Intelligence and Law
(ICAIL'07)},
year = {2007},
publisher = {ACM Press},
}
@InProceedings{warnierOeyTimmerBrazier:2007,
author = {Warnier, Martijn and Oey, Michel and
Timmer, Reinier and Brazier, Frances},
title = {Secure Migration of Mobile Agents based on Distributed
Trust},
booktitle = {Proceedings of the Tenth International Workshop
on Trust in Agent Societies},
year = {2007}
}
@InProceedings{warnierBrazierApistolaOskamp:2007a,
author = {Warnier, Martijn and Brazier, Frances and
Apistola, Martin and Oskamp, Anja},
title = {Secure Distributed Dossier Management in the Legal Domain},
booktitle = {Proceedings of the 2nd International Workshop on
"Dependability and Security in e-Government" (DeSeGov'07),
part of the Proceedings of the 2nd International
Conference on
"Availability, Reliability and Security "
(ARES 2007)},
publisher = {IEEE},
pages = {941--947},
year = {2007}
}
@misc{warnierApistolaBrazierOskamp:2007c,
title = "{Distributed Digital Dossier: Completeness, Consistency and Security}",
author = "Warnier, Martijn and Apistola, Martin and Brazier, Frances
and Oskamp, Anja",
note = "{Poster presented at the TOKEN'07 symposium, Amsterdam, the
Netherlands}",
year = 2007
}
@PhDThesis{Warnier:2006,
author = "Warnier, Martijn",
title = "{Language Based Security for Java and JML}",
school = "Radboud University",
address = "Nijmegen, The Netherlands",
year = "2006"
}
@InProceedings{WarnierDeGrootBrazier06,
title = "{Organized Anonymity in Agent Systems}",
author = "Warnier, Martijn and de Groot, David and
Brazier, Frances",
booktitle = "{Informal Proceedings of the Fourth
European Workshop on Multi-Agent Systems (EUMAS'06)}",
year = "2006"
}
@misc{WarnierApistolaDeGrootBrazierOskamp06,
title = "{Agents in Court}",
author = "Warnier, Martijn and Apistola, Martin and de Groot, David
and Brazier, Frances and Oskamp, Anja",
note = "{Poster presented at the 5th System Administration and
Network Engineering Conference (SANE 2006), Delft, the Netherlands,
2006 }",
year = 2006 }
@misc{ApistolaWarnierBrazierOskamp06,
title = "{Secure ACCESS to the Digital Dossier}",
author = "Apistola, Martin and Warnier, Martijn and Brazier, Frances
and Oskamp, Anja",
note = "{Poster presented at the TOKEN'06 symposium, Leiden, the
Netherlands}",
year = 2006
}
@techreport{WarnierOostdijk05,
title = "{Non-interference in JML}",
author = "Warnier, Martijn and Oostdijk, Martijn",
institution = "{Nijmegen Institute for Computing and Information
Sciences}",
number = "{ICIS-R05034}",
year = 2005
}
@InProceedings{BartheRezkWarnier05,
title = "{Preventing Timing Leaks Through Transactional Branching
Instructions}",
author = "Barthe, Gilles and Rezk, Tamara and Warnier, Martijn",
booktitle = "{Proceedings of the Third Workshop on Quantitive
Aspects of Programming Languages (QAPL 2005)}",
year = "2006"
pages = "33--55",
volume = "153",
number = "2",
series = "{ENTCS}",
publisher = "{Elsevier Science}",
}
@InProceedings{JacobsPietersWarnier05,
title = "{Statically checking confidentiality via dynamic labels}",
author = "Jacobs, Bart and Pieters, Wolter and Warnier, Martijn",
booktitle = "{WITS '05: Proceedings of the 2005 workshop on Issues
in the theory of security}",
year = "2005"
pages = "50--56",
publisher = "ACM Press",
address = "New York, NY, USA"
}
@article{JacobsOostdijkWarnier04,
title = "{Source Code Verification of a Secure Payment Applet}",
author = "Jacobs, Bart and Oostdijk, Martijn and Warnier, Martijn",
journal = "{Journal of Logic and Algebraic Programming}",
copyright = "{Elsevier Science}",
volume = 58,
number = {1-2},
pages = "107--120",
year = "2004"
}
@techreport{OostdijkWarnier03,
title = "{On the combination of Java Card Remote Method Invocation
and JML}",
author = "Oostdijk, Martijn and Warnier, Martijn",
institution = "{Nijmegen Institute for Computer and Information
Sciences}",
number = "{NIII-R0321}",
year = 2003
}
@inproceedings{JacobsKiniryWarnier03,
title = "{Java Program Verification Challenges}",
author = "Jacobs, Bart and Kiniry, Joseph and Warnier, Martijn",
booktitle = "{Formal Methods for Components and Objects}",
editor = "de Boer, Frank S. and Bonsangue, Marcello M. and Graf,
Susanne and de Roever, Willem-Paul",
publisher = "Springer, Berlin",
series = LNCS,
volume = 2852,
pages = "202--219",
year = "2003"
}
@inproceedings{HughesWarnier03,
title = "{The Coinductive Approach to Verifying Cryptographic
Protocols}",
author = "Hughes, Jesse and Warnier, Martijn",
booktitle = "{Recent Trends in Algebraic Development Techniques}",
editor = "Wirsing, Martin and Pattinson, Dirk and Hennicker, Rolf",
publisher = "Springer, Berlin",
series = LNCS,
volume = 2755,
pages = "268--283",
year = "2003"
}
@mastersthesis{Warnier02
author = "Martijn Warnier",
title = "{Specification and verification of sequential Java
programs}",
school = {University of Utrecht},
month = jan,
year = 2002
}
|
|