The Open UniversitySkip to content
 

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, IEEE, pp. 167–176.

URL: http://www.ieeexplore.ieee.org/search/wrapper.jsp?...
DOI (Digital Object Identifier) Link: http://dx.doi.org/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 & Communications
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
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk