[Lecture Notes in Computer Science] Advanced Parallel Processing Technologies Volume 2834 || A Proof Assistant for Mobile Processes
- 作者Zhou, Xingming; Xu, Ming; Jähnichen, Stefan; Cao, Jiannong
- 文件大小173.95KB
- 发表时间2003
- DOI10.1007/978-3-540-39425-9_26
- 页码204-214
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || $$mu $$ ShieldYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || An Android Vulnerability Detection SystemYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || Risk Modelling of Blockchain EcosystemYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || Experiences in Trusted Cloud ComputingYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || Tor De-anonymisation TechniquesYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || Privacy Verification Chains for IoTYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || Machine Learning for Analyzing MalwareYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017
[Lecture Notes in Computer Science] Network and System Security Volume 10394 || EEG-Based Random Number GeneratorsYan, Zheng; Molva, Refik; Mazurczyk, Wojciech; Kantola, Raimo · 2017