This book is devoted to the basic concepts and generic relationships of two new software engineering and computer science areas: trustworthy computing (TWC) and aspect - oriented programming (AOP). These two disciplines are now so popular, even “ fashionable, ” that many software students and experts are looking for more information about them. Both TWC and AOP and, in particular, their relationship, have not yet been described suffi ciently in the scientifi c literature up to now, and this gap needs to be fi lled. The reason for the current status lies in the fact that both AOP and TWC are still quite novel even though their foundations were laid long ago, and the worldwide software engineering community has not yet acquired enough experience in these areas. The book should be very helpful in this regard.

The main principle behind the book is that AOP, used properly, can be benefi cial in trustworthy software development, due to the fact that the two are related generically. To analyze, demonstrate, and teach using AOP for TWC, I take typical TWC tasks, such as security checks, in and out conditions, and multithreaded safety and show how they can be implemented using AOP, since I believe that in terms of AOP, most TWC tasks are cross - cutting concerns and, consequently, can and should be implemented as aspects . In the text I describe my team ’ s latest results, analyzing my 30 years ’ experience in research, development, and university teaching in the areas of software engineering and computer science, and my 15 years ’ experience collaborating with leading global software companies: Microsoft Research, Sun Microsystems, and others