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 IEEE International Conference on Automated Software Engineering (ASE'06), IEEE, Tokyo, pp. 167–176.

DOI: https://doi.org/10.1109/ASE.2006.60

URL: http://www.ieeexplore.ieee.org/search/wrapper.jsp?...

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 9557
• Item Type
• Conference or Workshop Item
• ISBN
• 0-7695-2579-2, 978-0-7695-2579-2
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Depositing User
• Jan Jurjens