Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Coordination-based Methodology for Security Protocol Verification Baldi, Giacomo
 2005
 121 C p. 23-46
24 p.
 artikel
2 A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies Laborde, R.
 2005
 121 C p. 117-142
26 p.
 artikel
3 Analysing Password Protocol Security Against Off-line Dictionary Attacks Corin, Ricardo
 2005
 121 C p. 47-63
17 p.
 artikel
4 A Quantitative Study of Two Attacks Bodei, Chiara
 2005
 121 C p. 65-85
21 p.
 artikel
5 Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures Bigham, John
 2005
 121 C p. 87-99
13 p.
 artikel
6 Modelling Opacity Using Petri Nets Bryans, Jeremy W.
 2005
 121 C p. 101-115
15 p.
 artikel
7 Petri Nets With Persistence Crazzolara, Federico
 2005
 121 C p. 143-155
13 p.
 artikel
8 Preface Busi, Nadia
 2005
 121 C p. 1-2
2 p.
 artikel
9 Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance van der Aalst, W.M.P.
 2005
 121 C p. 3-21
19 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland