C. Wonnemann - Info zur Person mit Bilder, News & Links

	Dortmund Freiburg

	Accorsi

News

Bücher

Advances in Digital Forensics VII: 7th IFIP WG International...

books.google.ca

R. Accorsi and C. Wonnemann, Auditing workflow executions against dataflow policies, Proceedings of the Thirteenth International Conference on Business ...

Business Information Systems: 13th International Conference, BIS

books.google.ca

BIS held on 3–5 May in Berlin, Germany was the 13th in a series of international conferences on Business Information Systems. The BIS conference...

Security and Trust Management: 6th International Workshop, STM 2010,...

books.google.ca

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in...

Wissenschaftliche Veröffentlichungen

[PDF] CADE-21 4th International Verification Workshopftp.informatik.rwth-aachen.de › Publications › CEUR-WS › Vol-259

ftp.informatik.rwth-aachen.de

· J. J. Hunt, E. Jenn, S. Leriche, P. Schmitt, I. Tonin, and C. Wonnemann. A case study of specification and verification using JML in an avionics ...

Veröffentlichungen allgemein

Distributed Secure Service Composition with Declassification in...

www.hindawi.com

The regional and dynamic characteristics of mobile clouds pose a great challenge on information flow security during service composition. Although secure...

Forensic Leak Detection for Business Process Models | SpringerLink

link.springer.com

This paper presents a formal forensic technique based on information flow analysis to detect data and information leaks in business process models. The...

Verwandte Suchanfragen zu C. Wonnemann

Personen
Vorname
Name "Wonnemann" (58)

sortiert nach Relevanz / Datum

Erweiterte Suche

Dossier exportieren

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

C. Wonnemann Person-Info

News

Bücher

Advances in Digital Forensics VII: 7th IFIP WG International...

Business Information Systems: 13th International Conference, BIS

Security and Trust Management: 6th International Workshop, STM 2010,...

Wissenschaftliche Veröffentlichungen

[PDF] CADE-21 4th International Verification Workshopftp.informatik.rwth-aachen.de › Publications › CEUR-WS › Vol-259

Veröffentlichungen allgemein

Distributed Secure Service Composition with Declassification in...

Forensic Leak Detection for Business Process Models | SpringerLink

Sonstiges

Advances in Digital Forensics VII - PDF Free Download

Business Information Systems: 13th International Conference, BIS...

Model-Driven Software Verication - PDF Free Download

R. Accorsi and A. Lehmann, Automatic Information Flow Analysis of ...hal.archives-ouvertes.fr › html_references

USL: A Domain-Specific Language for Precise Specification of Use...

RFID-SysTech | Workshop´07