Jump to content

Search results

  • "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