公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2005 | Efficient Exact Spare Allocation via Boolean Satisfiability | F. Yu; C. H. Tsai; Y. W. Huang; H. Y. Lin; D. T. Lee; S. Y. Kuo; SY-YEN KUO | 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT’05) | 5 | 0 | |
2004 | Securing Web Application Code by Static Analysis and Runtime Protection | Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO | Thirteenth International World Wide Web Conference (WWW-2004) | 372 | 0 | |
2004 | Verifying Web applications using bounded model checking | Y. W. Huang; Y. Fang; C. Hang; C. H. Tsai; D. T. Lee; S. Y. Kuo; SY-YEN KUO | International Conference on Dependable Systems and Networks (DSN-2004) | 33 | 0 | |
2005 | Web application security-past, present, and future | Y. W. Huang; D. T. Lee; book chapter | in Computer Security in the 21st Century, Lee and Shieh and Tygar, editors, pages 183-227, Springer Science+Business Media, Inc. |