Search results
Appearance
The pages "ACM Formal Methods in Security Engineering" and '"ACM Formal Methods in Security Engineering"' do not exist. You can create a draft and submit it for review or request that a redirect be created, but consider checking the search result below to see whether the topic is already covered.
- "Securing the Drop-Box Architecture for Assisted Living". ACM Formal Methods in Security Engineering. FMSE '06. Wang, Qixin; Shin, Wook; Liu, Xue; Zeng, Zheng;...9 KB (796 words) - 22:57, 23 July 2023