Aura, Tuomas

name

• Aura, Tuomas

Authored works

• Authorization and availability : aspects of open network security
• Modelling the Needham-Schröder authentication protocol with high level Petri nets
• On the structure of delegation networks
• Privacy and accountability in certificate systems
• Stateless connections
• Time processes of time Petri nets

Works contributed to

• New threats and defences
• Norjan valtakunnallinen lippu- ja maksujärjestelmä : Selvitys 2012
• Security policies, their specification and enforcement
• Seminar on Network Security, autumn 2011 : security and privacy in the evolving Internet
• Seminar on Network Security, autumn 2012 : security and privacy in digital services

Works about Aura, Tuomas