Security mechanisms for computer networks
Security mechanisms for computer networks
An introduction to database systems: vol. 1 (5th ed.)
An introduction to database systems: vol. 1 (5th ed.)
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
IEEE Transactions on Computers
On the meaning of safety and security
The Computer Journal - Special issue on safety and security parallel computation
Database security
Assessing computer security vulnerability
ACM SIGOPS Operating Systems Review
A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior
IEEE Transactions on Software Engineering
A new paradigm for trusted systems
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Art of Software Testing
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
On the quantitative assessment of behavioural security
ACISP '96 Proceedings of the First Australasian Conference on Information Security and Privacy
On the modelling of preventive security based on a PC network intrusion experiment
ACISP '96 Proceedings of the First Australasian Conference on Information Security and Privacy
ACM SIGOPS Operating Systems Review
SP '92 Proceedings of the 1992 IEEE Symposium on Security and Privacy
On the functional relation between security and dependability impairments
Proceedings of the 1999 workshop on New security paradigms
Communications of the ACM - Two decades of the language-action perspective
AMBRA: automated model-based risk analysis
Proceedings of the 2007 ACM workshop on Quality of protection
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Security compliance: the next frontier in security research
Proceedings of the 2008 workshop on New security paradigms
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework towards enhancing trust and authorisation for e-commerce service
International Journal of Internet Technology and Secured Transactions
Journal of Network and Computer Applications
| Hi-index | 0.00 |