Verification of security protocols: a multi-agent systems approach
Start a new DMP in Loading
The project investigates automatic verification of computer security protocols by using formal tools and techniques drawn from the areas of multi-agent systems, automatic verification and formal logic. Upon succesful completion of the project, a range of security protocols will be verified automatically by computer tools.
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=ukri________::9cf2f3cebdd7d4e2d4359183867ddf66&type=result"></script>');
-->
</script> For further information contact us at helpdesk@openaire.eu