
@conference {inp:AccorsiLehmann2012a,
	title = {Automatic Information Flow Analysis of Business Process Models},
	booktitle = {10th International Conference on Business Process Management (BPM 2012)},
	year = {2012},
	author = {R. Accorsi and A. Lehmann}
}
@conference {inp:LehmannFahland2012b,
	title = {Information Flow Security for Business Process Models - just one click away},
	booktitle = {Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012)},
	year = {2012},
	author = {A. Lehmann and D. Fahland}
}
@conference {inp:LehmannLohmann2012a,
	title = {Model support for confidential service-oriented business processes},
	booktitle = {Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012)},
	year = {2012},
	address = {Bamberg, Germany},
	author = {A. Lehmann and N. Lohmann}
}
@conference {inp:LehmannLohmann2012b,
	title = {Modeling wizard for confidential Business Processes},
	booktitle = {1st Joint International Workshop on Security in Business Processes (SBP)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann}
}
@conference {inp:PfeifferUngerTimmermannLehmann2012a,
	title = {Secure Information Flow Awareness for Smart Wireless {eHealth} Systems},
	booktitle = {Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012)},
	year = {2012},
	author = {S. Pfeiffer and S. Unger and D. Timmermann and A. Lehmann}
}
@conference {inp:LehmannLohmannWolf2012a,
	title = {Stubborn Sets for Simple Linear Time Properties},
	booktitle = {Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012)},
	year = {2012},
	author = {A. Lehmann and N. Lohmann and K. Wolf}
}
