Secure information flow with random assignment and encryption

被引：0
|
作者：
School of Computing and Information Sciences, Florida International University, Miami, FL 33199, United States [1 ]
机构：
来源：
Proc. Fourth ACM Workshop Formal Methods Secur. Eng. FMSE Conf.Comput. Commun. Secur. | 2006年 / 33-44期
关键词：
Security of data;
D O I：
10.1145/1180337.1180341
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Game-Theoretically Secure Protocols for the Ordinal Random Assignment Problem
    Chan, T-H Hubert
    Wen, Ting
    Xie, Hao
    Xue, Quan
    APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, PT II, ACNS 2023, 2023, 13906 : 582 - 610
  • [32] Principles of secure information flow analysis
    Smith, Geoffrey
    Malware Detection, 2007, : 291 - 307
  • [33] Array operations for secure information flow
    Yao, JB
    Li, JS
    PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 3884 - 3892
  • [34] Secure Information Flow as a Safety Property
    Boudol, Gerard
    FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 20 - 34
  • [35] Secure Information Flow for Distributed Systems
    Alpizar, Rafael
    Smith, Geoffrey
    FORMAL ASPECTS IN SECURITY AND TRUST, 2010, 5983 : 126 - 140
  • [36] SPLinux*: An Information Flow Secure Linux
    Vyas, Parjanya
    Shyamasundar, Rk
    Patil, Bhagyesh
    Borse, Snehal
    Sen, Satyaki
    19TH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA/BDCLOUD/SOCIALCOM/SUSTAINCOM 2021), 2021, : 1603 - 1612
  • [37] Mediating secure information flow policies
    Zhang, Guo-Qiang
    INFORMATION AND COMPUTATION, 2007, 205 (09) : 1413 - 1425
  • [38] Secure information flow and program logics
    Beringer, Lennart
    Hofmann, Martin
    20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSFS20), PROCEEDINGS, 2007, : 233 - +
  • [39] Verifying a secure information flow analyzer
    Naumann, DA
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2005, 3603 : 211 - 226
  • [40] Secure information flow as a safety problem
    Terauchi, T
    Aiken, A
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 352 - 367
12345