Titel

Merkliste
1 Ergebnisse

Automatic identification of covert channels inside Linux ke..:

, In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human,

Zhai, Gaoshou ; Zhang, Yufeng ; Liu, Chengyu... - p. 440-445 , 2009

Link: https://dl.acm.org/doi/10.1145/1655925.1656006

RT 
T1 <cTitle>Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human</cTitle>: T1 <Title>Automatic identification of covert channels inside Linux kernel based on source codes</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1656006&Exemplar=1&LAN=DE
				
A1 Zhai, Gaoshou
A1 Zhang, Yufeng
A1 Liu, Chengyu
A1 Yang, Na
A1 Tian, MinLi
A1 Yang, Hengsheng
PB ACM
YR 2009
K1 Linux kernel
K1 covert channel identification
K1 information flow tree
K1 semantic information flow
K1 shared resource matrix
K1 syntactic information flow
K1 Security and privacy
K1 Systems security
K1 Operating systems security
K1 Information flow control
K1 Software and its engineering
K1 Software organization and properties
K1 Extra-functional properties
K1 Software reliability
K1 Software creation and management
K1 Software verification and validation
K1 General and reference
K1 Cross-computing tools and techniques
K1 Validation
K1 Process validation
K1 Reliability
K1 Software notations and tools
K1 General programming languages
K1 Language features
K1 Control structures
K1 Data types and structures
K1 Empirical software validation
SP 440
OP 445
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1655925.1656006
DO https://dl.acm.org/doi/10.1145/1655925.1656006
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)