scholarly journals On the unilateral contact between membranes. Part 2: a posteriori analysis and numerical experiments

2011 ◽  
Vol 32 (3) ◽  
pp. 1147-1172 ◽  
Author(s):  
F. Ben Belgacem ◽  
C. Bernardi ◽  
A. Blouza ◽  
M. Vohralik
Author(s):  
Farah Dernaika ◽  
Nora Cuppens-Boulahia ◽  
Frédéric Cuppens ◽  
Olivier Raynaud

2017 ◽  
Vol 923 ◽  
pp. 012028
Author(s):  
A Cimarelli ◽  
A Leonforte ◽  
M Franciolini ◽  
E De Angelis ◽  
D Angeli ◽  
...  

2013 ◽  
Vol 55 (6) ◽  
Author(s):  
Mark Strembeck ◽  
Stefanie Rinderle-Ma

AbstractIn this paper, we motivate the need to perform a posteriori analyzes for process-related security properties. In particular, we first discuss the relation of security engineering and a-posteriori techniques. Subsequently, we give an overview of different a-posteriori techniques for analyzing organizational structures and access control policies. Finally, we provide a discussion on application scenarios for different a-posteriori techniques.


Sign in / Sign up

Export Citation Format

Share Document