University of Hertfordshire Algorithms Group

	    Mathematical Computer Science & Applications Seminar

                 "Synthesis of Symbiotic Security Services"

                             Daniel Schreckling
                  (University of Passau, Institute of IT-Security 
                          and Security Law, Germany)
 

                            2 June 2009 (Tuesday)
                              Seminar Room C214 
		      Hatfield, College Lane Campus
			         10 a.m.	




 _________________________________________________________________


Abstract:

This talk will introduce a novel synthesis framework which allows for new
security mechanisms and abolishes the "ex post patching" paradigm currently
established in the software security domain. A biologically inspired
behaviour-based specification language with operational semantics is the basis
for this framework. It abstracts from implementation details, focuses on
behavioural features, and allows the automatic synthesis of services realizing
the specified behaviour. We will give a high level introduction of the
necessary mathematical concepts, sketch how they can build a new concept of
computation - interaction computing - and describe, from a security point of
view, their potential to revolutionize software security.

_________________________________________________________________
Seminar Abstracts:
http://homepages.feis.herts.ac.uk/~nehaniv/mcsa/