首页 > 最新文献

Engineering Secure Software and Systems最新文献

英文 中文
Security Testing Beyond Functional Tests 功能测试之外的安全测试
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_1
M. Dashti, D. Basin
{"title":"Security Testing Beyond Functional Tests","authors":"M. Dashti, D. Basin","doi":"10.1007/978-3-319-30806-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_1","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114666157","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
HexPADS: A Platform to Detect "Stealth" Attacks HexPADS:一个检测“隐形”攻击的平台
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_9
Mathias Payer
{"title":"HexPADS: A Platform to Detect \"Stealth\" Attacks","authors":"Mathias Payer","doi":"10.1007/978-3-319-30806-7_9","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_9","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129286910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 115
On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation 关于混合移动应用程序的静态分析——一份关于Apache Cordova Nation状态的报告
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_5
Achim D. Brucker, M. Herzberg
{"title":"On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation","authors":"Achim D. Brucker, M. Herzberg","doi":"10.1007/978-3-319-30806-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_5","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131478396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Progress-Sensitive Security for SPARK SPARK的进度敏感安全性
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_2
Willard Rafnsson, D. Garg, A. Sabelfeld
{"title":"Progress-Sensitive Security for SPARK","authors":"Willard Rafnsson, D. Garg, A. Sabelfeld","doi":"10.1007/978-3-319-30806-7_2","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_2","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133130171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Empirical Analysis and Modeling of Black-Box Mutational Fuzzing 黑盒突变模糊的实证分析与建模
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_11
Mingyi Zhao, Peng Liu
{"title":"Empirical Analysis and Modeling of Black-Box Mutational Fuzzing","authors":"Mingyi Zhao, Peng Liu","doi":"10.1007/978-3-319-30806-7_11","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_11","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123379746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language 推断策略和代码之间的语义映射:线索在语言中
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_15
Pauline Anthonysamy, M. Edwards, Christian Weichel, A. Rashid
{"title":"Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language","authors":"Pauline Anthonysamy, M. Edwards, Christian Weichel, A. Rashid","doi":"10.1007/978-3-319-30806-7_15","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_15","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133441227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Sound and Precise Cross-Layer Data Flow Tracking 健全和精确的跨层数据流跟踪
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_3
Enrico Lovat, Martín Ochoa, A. Pretschner
{"title":"Sound and Precise Cross-Layer Data Flow Tracking","authors":"Enrico Lovat, Martín Ochoa, A. Pretschner","doi":"10.1007/978-3-319-30806-7_3","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_3","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128616844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Idea: Supporting Policy-Based Access Control on Database Systems 思想:支持基于策略的数据库系统访问控制
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_16
J. Bogaerts, B. Lagaisse, W. Joosen
{"title":"Idea: Supporting Policy-Based Access Control on Database Systems","authors":"J. Bogaerts, B. Lagaisse, W. Joosen","doi":"10.1007/978-3-319-30806-7_16","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_16","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123040670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Semantics-Based Repackaging Detection for Mobile Apps 基于语义的移动应用重新包装检测
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_6
Quanlong Guan, Heqing Huang, Weiqi Luo, Sencun Zhu
{"title":"Semantics-Based Repackaging Detection for Mobile Apps","authors":"Quanlong Guan, Heqing Huang, Weiqi Luo, Sencun Zhu","doi":"10.1007/978-3-319-30806-7_6","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_6","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132092499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities 狮子狗,更多的狮子狗,反常的攻击:服务器管理员如何应对三个严重的网络漏洞
Pub Date : 2016-04-06 DOI: 10.1007/978-3-319-30806-7_8
Benjamin N. Fogel, Shane Farmer, Hamza Alkofahi, A. Skjellum, M. Hafiz
{"title":"POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities","authors":"Benjamin N. Fogel, Shane Farmer, Hamza Alkofahi, A. Skjellum, M. Hafiz","doi":"10.1007/978-3-319-30806-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-30806-7_8","url":null,"abstract":"","PeriodicalId":273207,"journal":{"name":"Engineering Secure Software and Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115053634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
期刊
Engineering Secure Software and Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1