Publication list
- Zastosowanie bisymulacji do weryfikowania własności Non-Interference, FIT XVI, grudzień 2002
- CsPL, system do weryfikacji bezpieczeństwa programów, FIT XVII, grudzień 2003
- eXtensible MultiSecurity, Contracts for .NET,
Journal of .NET Technologies Vol.4, 2006, ISSN 1801-2108, ISBN 80-86943-13-5
- eXtensible Multi Security: Security Framework for .NET, PhD thesis, October 21, 2008
- Heterogeneous System Architecture in Education Management Software,
Software Engineering: Improving Practive through Research,
PTI Polish Information Processing Society, Warszawa, 2016, Chapter 1, ISBN: 978-83-943248-2-7, pp. 13-29
(Proceedings of 18th KKIO Software Engineering Conference, 15-17 September 2016, Wroclaw, Poland)
Books
Online presence
Lectures (in Polish)
Other links
|
|
