Searching for authors named "Volkmar Lotz" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Threat Scenarios as a Means to Formally Develop Secure Systems
- …Threat Scenarios as a Means to Formally Develop Secure Systems ? Volkmar Lotz Siemens AG…
- Cited by 4 (1 self) – Add To MetaCart
-
A model-checking approach to analysing organisational controls in a loan origination process
- … Andreas Schaad, Volkmar Lotz SAP Labs France, Security & Trust Group 805, Avenue du Dr Maurice Donat 06250…
- Cited by 6 (3 self) – Add To MetaCart
-
Consolidating the Access Control of Composite Applications and Workflows
- … Kemper 1 , Maarten Rits 2 , and Volkmar Lotz 2 1 Technische Universität München, 85748 Garching b…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Security Analysis with Interacting State Machines
- …Formal Security Analysis with Interacting State Machines David von Oheimb and Volkmar Lotz Siemens…
- Cited by 5 (0 self) – Add To MetaCart
-
Analyzing SLE 88 memory management security using Interacting State Machines
- … using Interacting State Machines David von Oheimb 1 , Volkmar Lotz 1 , Georg Walter 2 1 Siemens AG…
- Cited by 2 (1 self) – Add To MetaCart
-
Key Issues of a Formally Based Process Model for Security Engineering
- … Bolzmannstraße 3, D-85748 Garching {Jan.Juerjens, Gerhard.Popp, Guido.Wimmel@(email omitted); Volkmar Lotz Siemens AG…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 6.
