Formal Aspects of Security: First International Conference, FASec 2002, London,

Liu - Science of Cyber Security First International Conference SciS - X555z

Litwin - Applications of Databases First International Conference A - X555z

Degano - Formal Aspects of Security and Trust 7th International Work - X555z

Formal Aspects of Security: First International Conference, FASec 2002, London,

Karydis - Algorithmic Aspects of Cloud Computing First International - X555z

Susilo - Provable Security First International Conference ProvSec 2 - X555z

Floerkemeier - Internet of Things First International Conference IO - X555z