Παρακολούθηση
William H Sanders
William H Sanders
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cmu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Model-based evaluation: from dependability to security
DM Nicol, WH Sanders, KS Trivedi
IEEE Transactions on dependable and secure computing 1 (1), 48-65, 2004
6722004
Stochastic activity networks: formal definitions and concepts⋆
WH Sanders, JF Meyer
School organized by the European Educational Forum, 315-343, 2000
5262000
Analysis of distributed policy rule-sets for compliance with global policy
DM Nicol, WH Sanders, S Singh, M Seri
US Patent 8,209,738, 2012
4082012
The Mobius framework and its implementation
DD Deavours, G Clark, T Courtney, D Daly, S Derisavi, JM Doyle, ...
IEEE Transactions on Software Engineering 28 (10), 956-969, 2002
3762002
Stochastic Activity Networks: Structure, Behavior, and Application.
JF Meyer, A Movaghar, WH Sanders
Unknown Host Publication Title, 106-115, 1985
3751985
Reduced base model construction methods for stochastic activity networks
WH Sanders, JF Meyer
IEEE Journal on Selected Areas in Communications 9 (1), 25-36, 1991
3241991
Intrusion detection for advanced metering infrastructures: Requirements and architectural directions
R Berthier, WH Sanders, H Khurana
2010 First IEEE international conference on smart grid communications, 350-355, 2010
3162010
RRE: A game-theoretic intrusion response and recovery engine
SA Zonouz, H Khurana, WH Sanders, TM Yardley
IEEE Transactions on Parallel and Distributed Systems 25 (2), 395-406, 2013
3052013
The Mobius modeling tool
G Clark, T Courtney, D Daly, D Deavours, S Derisavi, JM Doyle, ...
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
2962001
AQuA: An adaptive architecture that provides dependable distributed objects
M Cukier, J Ren, C Sabnis, D Henke, J Pistole, WH Sanders, DE Bakken, ...
Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat …, 1998
2891998
Optimal state-space lumping in Markov chains
S Derisavi, H Hermanns, WH Sanders
Information processing letters 87 (6), 309-315, 2003
2802003
The UltraSAN modeling environment
WH Sanders, WD Obal II, MA Qureshi, FK Widjanarko
Performance Evaluation 24 (1-2), 89-115, 1995
2731995
A unified approach for specifying measures of performance, dependability and performability
WH Sanders, JF Meyer
Dependable computing for critical applications, 215-237, 1991
2601991
Specification-based intrusion detection for advanced metering infrastructures
R Berthier, WH Sanders
2011 IEEE 17th Pacific rim international symposium on dependable computing …, 2011
2542011
Model-based security metrics using adversary view security evaluation (advise)
E LeMay, MD Ford, K Keefe, WH Sanders, C Muehrcke
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
2372011
SCPSE: Security-oriented cyber-physical state estimation for power grid critical infrastructures
S Zonouz, KM Rogers, R Berthier, RB Bobba, WH Sanders, TJ Overbye
IEEE Transactions on Smart Grid 3 (4), 1790-1799, 2012
2102012
Performability modeling with UltraSAN
JA Couvillion, R Freire, R Johnson, WD Obal, MA Qureshi, M Rai, ...
IEEE software 8 (5), 69-80, 1991
1801991
Möbius: An extensible tool for performance and dependability modeling
D Daly, DD Deavours, JM Doyle, PG Webster, WH Sanders
International Conference on Modelling Techniques and Tools for Computer …, 2000
1512000
Secloud: A cloud-based comprehensive and lightweight security solution for smartphones
S Zonouz, A Houmansadr, R Berthier, N Borisov, W Sanders
Computers & Security 37, 215-227, 2013
1362013
AMI threats, intrusion detection requirements and deployment recommendations
D Grochocki, JH Huh, R Berthier, R Bobba, WH Sanders, AA Cárdenas, ...
2012 IEEE Third International Conference on Smart Grid Communications …, 2012
1332012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20