digital investigation (53)
computers & security (17)
expert systems with applications (16)
verification & validation in systems engineering (15)
aspect-oriented security hardening of uml design models (13)
ieee transactions on smart grid (12)
knowledge-based systems (12)
embedded java security (10)
acm computing surveys (9)
computer communications (9)
computer networks (9)
ieee transactions on dependable and secure computing (8)
ieee transactions on industrial informatics (8)
ieee communications magazine (7)
ieee communications surveys & tutorials (7)
international journal on software tools for technology transfer (7)
applied energy (6)
journal of computer security (6)
procedia computer science (6)
2022 ieee power & energy society innovative smart grid technologies conference (isgt), power & energy society innovative smart grid technologies conference (isgt), 2022 ieee (5)
computing (4)
ieee network (4)
information sciences (4)
journal of automated reasoning (4)
2014 6th international conference on new technologies, mobility and security (ntms), new technologies, mobility and security (ntms), 2014 6th international conference on (3)
enterprise information systems (3)
forensic science international: digital investigation (3)
formal aspects of computing (3)
information security journal: a global perspective (3)
international journal of electrical power & energy systems (3)
international journal of general systems (3)
security and communication networks (3)
theoretical computer science (3)
2008 sixth annual conference on privacy, security and trust, privacy, security and trust, 2008. pst '08. sixth annual conference on (2)
advances in artificial intelligence (2)
computers & operations research (2)
ieee systems journal (2)
information and computation (2)
journal of computer virology and hacking techniques (2)
wireless communications & mobile computing (2)
algebraic methodology and software technology (amazonia, 1999) (1)
computers \& operations research (1)
computing. archives for scientific computing (1)
computing: archives for scientific computing (1)
formal aspects of computing: applicable formal methods (1)
parallel processing letters (1)
science of computer programming. methods of software design: techniques and applications (1)
second fuji international workshop on functional and logic programming (shonan, 1996) (1)
the journal of functional and logic programming (1)
the vldb journal: the international journal on very large data bases (1)