Array operations for secure information flow

被引：0

作者：

Yao, JB ^{[1
]}

Li, JS ^{[1
]}

机构：

[1] Guizhou Univ, Inst Comp Sci & Engn, Guiyang 550025, Peoples R China

来源：

PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9 | 2005年

关键词：

alias array; discretional array; secure information flow; type system;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Array operations exist in many nontrivial programs. Array operations can cause subtle information leaks. Many type systems of secure information flow have been developed, however, so far little type system attention to secure information flow of discretional array operations. This paper allows array as first-class value and encodes multidimensional array as array of array by alias array. The soundness of our type system is proved by noninterference.

引用

页码：3884 / 3892

页数：9

共 50 条

[1] Lenient array operations for practical secure information flow
Deng, ZY
Smith, G
[J]. 17TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2004, : 115 - 124
[2] Secure information flow connections
Bhardwaj, Chandrika
Prasad, Sanjiva
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 127
[3] Arrows for secure information flow
Li, Peng
Zdancewic, Steve
[J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1974 - 1994
[4] Information flow in secure contexts
Bossi, Annalisa
Macedonio, Damiano
Piazza, Carla
Rossi, Sabina
[J]. JOURNAL OF COMPUTER SECURITY, 2005, 13 (03) : 391 - 422
[5] Information Flow Secure CAmkES
Goyal, Amit
Garg, Akshat
Gour, Digvijaysingh
Shyamasundar, R. K.
Sivakumar, G.
[J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS), 2021, : 237 - 244
[6] Secure information flow and CPS
Zdancewic, S
Myers, AC
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 46 - 61
[7] Compositionality of Secure Information Flow
Palamidessi, Catuscia
[J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 19 - 19
[8] Principles of secure information flow analysis
Smith, Geoffrey
[J]. Malware Detection, 2007, : 291 - 307
[9] SPLinux*: An Information Flow Secure Linux
Vyas, Parjanya
Shyamasundar, Rk
Patil, Bhagyesh
Borse, Snehal
Sen, Satyaki
[J]. 19TH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA/BDCLOUD/SOCIALCOM/SUSTAINCOM 2021), 2021, : 1603 - 1612
[10] Secure Information Flow as a Safety Property
Boudol, Gerard
[J]. FORMAL ASPECTS IN SECURITY AND TRUST, 2009, 5491 : 20 - 34

← 1 2 3 4 5 →