trust management (9783540342953) (38)
ieee security & privacy (27)
international journal of information security (18)
empirical software engineering (16)
journal of automated reasoning (14)
empirical software engineering: an international journal (8)
risk analysis: an international journal (8)
ieee transactions on software engineering (7)
computers & security (6)
electronic notes in theoretical computer science (6)
journal of computer security (6)
entcs: electronic notes in theoretical computer science (5)
2020 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw),2020 ieee european symposium on, eurospw (4)
computer (4)
computer (00189162) (4)
acm transactions on computational logic (3)
communications of the acm (3)
computer networks (3)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (3)
information and computation (3)
international journal on software tools for technology transfer (3)
risk analysis (3)
transactions on emerging telecommunications technologies (3)
2011 ieee international symposium on policies for distributed systems and networks, policies for distributed systems and networks (policy), 2011 ieee international symposium on (2)
2014 ieee 4th international workshop on empirical requirements engineering (empire), empirical requirements engineering (empire), 2014 ieee fourth international workshop on (2)
2014 ninth international conference on availability, reliability and security, availability, reliability and security (ares), 2014 ninth international conference on (2)
2017 acm/ieee international symposium on empirical software engineering and measurement (esem), empirical software engineering and measurement (esem), 2017 acm/ieee international symposium on, esem (2)
acm transactions on autonomous and adaptive systems (2)
artificial intelligence (2)
artificial intelligence & law (2)
artificial intelligence and law (2)
computer standards & interfaces (2)
information (2078-2489) (2)
information and software technology (2)
information security technical report (2)
international journal of secure software engineering (2)
international journal of software engineering & knowledge engineering (2)
journal of computer virology and hacking techniques (2)
journal of network & systems management (2)
journal of network and systems management (2)
journal of systems & software (2)
science of computer programming (2)
sensors (14248220) (2)
theoretical computer science (2)
wirtschaftsinformatik (2)
aaai-98/iaai-98 proceedings (madison, wi, 1998) (1)
advances in enterprise information technology security (1)
automated deduction---cade-12 (nancy, 1994) (1)
automated reasoning (1)
automated reasoning with analytic tableaux and related methods (oisterwijk, 1998) (1)