Formal Security Analysis with Interacting State Machines
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Journal of Systems and Software
Addressing software application security issues
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
A dynamic security framework for ambient intelligent systems: a smart-home based eHealth application
Transactions on computational science X
Hi-index | 0.00 |