An effective taint-based software vulnerability miner (Englisch)
- Neue Suche nach: Liu, Zhi
- Neue Suche nach: Zhang, Xiaosong
- Neue Suche nach: Wu, Yue
- Neue Suche nach: Chen, Ting
- Neue Suche nach: Deng, James
- Neue Suche nach: Liu, Zhi
- Neue Suche nach: Zhang, Xiaosong
- Neue Suche nach: Wu, Yue
- Neue Suche nach: Chen, Ting
In:
COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
;
32
, 2
;
467-484
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:An effective taint-based software vulnerability miner
-
Beteiligte:Deng, James ( Herausgeber:in ) / Liu, Zhi ( Autor:in ) / Zhang, Xiaosong ( Autor:in ) / Wu, Yue ( Autor:in ) / Chen, Ting ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Emerald Group Publishing Limited
-
Erscheinungsdatum:01.03.2013
-
Format / Umfang:18 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 32, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 431
-
E-band SIW H-plane horn antenna developmentYang, Dong-Hua / Liu, Tsung-Han / Ke, Po-Yu / Lin, Wen-Piao / Chiu, Hsien-Chin et al. | 2013
- 442
-
An OFDM-based physical-layer feedback mechanism for relay selection in virtual MIMO systemsKuang, Yujun / Zhang, Enzhan et al. | 2013
- 454
-
A novel truncation spurs free structure of direct digital synthesizerYang, Yuanwang / Cai, Jingye / Schutt-Aine, Jose et al. | 2013
- 467
-
An effective taint-based software vulnerability minerLiu, Zhi / Zhang, Xiaosong / Wu, Yue / Chen, Ting et al. | 2013
- 485
-
Vector mode based hardware acceleration and emulation for LDPC applicationLiao, Y.B. / Han, X. / Zhu, Z.J. / Wang, Y. / Kang, S. et al. | 2013
- 495
-
The effects of finite metallisation thickness and conductivity in microstrip linesGao, Bo / Tong, Ling / Gong, Xun et al. | 2013
- 504
-
Study of synchronization test methods of NoC at multi-clock domainsJiang, Shu-yan / Luo, Gang / Chen, Su / Zhao, Wen-han / Zhou, Qi-zhong et al. | 2013
- 516
-
Alleviating the sparsity problem of collaborative filtering using rough setZhang, Song / Li, Cong / Ma, Li / Li, Qi et al. | 2013
- 531
-
Design and application of sink node for wireless sensor networkTian, Yu / Lv, Yang / Tong, Ling et al. | 2013
- 545
-
SOC HW/SW co-verification based debugging techniqueRuan, A.W. / Li, C.Q. / Song, Z.J. / Li, W.C. et al. | 2013
- 556
-
A simple model for the multiple traveling salesmen problem with single depot and multiple sinkLiu, Daibo / Hou, Mengshu / Qu, Hong et al. | 2013
- 575
-
A hybrid biogeography-based optimization with simplex method and its applicationPing, Zhang / Ping, Wei / Chun, Fei / Hong-yang, Yu et al. | 2013
- 586
-
Intelligent spam filtering for massive short message streamXia, Hu / Fu, Yan / Zhou, Junlin / Xia, Qi et al. | 2013
- 597
-
Improved SOFI algorithm for blind extraction of smooth signalsGao, Jianbin / Xia, Qi / Li, Jianping / Ye, Mao et al. | 2013
- 606
-
Accelerating data distribution in P2P live stream with data reservation mechanismLiyong, Ren / Ming, Lei / Di, Zhao et al. | 2013
- 612
-
Scalable group key exchange protocol with provable securityLi, Chengbang / Xu, Chunxiang et al. | 2013
- 620
-
SEVE: Symbolic Execution based Vulnerability Exploring systemChen, Ting / Zhang, Xiao-song / Xiao, Xu / Wu, Yue / Xu, Chun-xiang / Zhao, Hong-tian et al. | 2013
- 638
-
A web service matching algorithm based on semantic similarityChen, Wenyu / Zhang, Zhongquan / Xiang, Tao / Zeng, Ru et al. | 2013
- 649
-
Research on convergence of ACO subset algorithmsChen, Wenyu / Bian, Wangyang / Zeng, Ru et al. | 2013
- 661
-
Proactive P2P worm containment via automatic authenticationZhang, Xiao-song / Chen, Ting / Xu, Chun-xiang / Pan, Xiao-hui / Wu, Xue-yang et al. | 2013
- 674
-
A measurement of real travel speed for road segment with magnetic sensorsZhang, Enzhan / Kuang, Yujun et al. | 2013
- 687
-
Research on resource allocation mechanism for MBMS in wireless cellular systemCui, Linli / Shao, Zhenhai / Zhou, Tian / Li, Aiyun et al. | 2013
- 698
-
The near-field processing and narrowband imaging algorithm for MIMO arrayGong, Pengcheng / Shao, Zhenhai / Zhou, Jingquan / Zhu, Xueyong et al. | 2013
- 711
-
Anti-interference improvement of reconfigurable zero-IF RF receiver based on tunable filter array computationJiang You, Chang / Wei Zhu, Xiao / Hai Shao, Zhen et al. | 2013
- 721
-
An improved joint dictionary training method for single image super resolutionZeng, Lei / Li, Xiaofeng / Xu, Jin et al. | 2013
-
CAC 2010: Computation/design, Algorithm/methodology and Compatibility/systemTian Quan Deng, James et al. | 2013