Security analysis of crypto-based java programs using automated theorem provers

Jurjens, J (2006). Security analysis of crypto-based java programs using automated theorem provers. In: 21st International Conference on Automated Software Engineering (ASE 2006), Nov 2006.

URL:	http://www.ieeexplore.ieee.org/search/wrapper.jsp?...
DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1109/ASE.2006.60
Google Scholar:	Look up in Google Scholar

Item Type:	Conference Item
ISBN:	0-7695-2579-2, 978-0-7695-2579-2
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Item ID:	9557
Depositing User:	Jan Jurjens
Date Deposited:	01 Oct 2007
Last Modified:	02 Dec 2010 20:04
URI:	http://oro.open.ac.uk/id/eprint/9557

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change