Security attacks typically result from unintended behaviors or invalid inputs. Security testing
is labor intensive because a real-world program usually has too many invalid inputs. It is …

Software security testing is an important means to ensure software security and trustiness.
This paper first mainly discusses the definition and classification of software security testing …

The Service-Oriented Architecture (SOA) paradigm is giving rise to a new generation of
applications built by dynamically composing loosely coupled autonomous services. Clients …

Designing and implementing security-critical systems correctly is very difficult. In practice,
most vulnerabilities arise from bugs in implementations. We present work towards …

本文对全景漫游技术进行了讨论. 全景漫游技术中需要解决三个问题: 全景图的生成,
漫游空间的编辑和浏览器的设计. 基于两张圆鱼眼图像生成单张球面全景图 …

Conformance testing procedures for generating tests from the finite state model
representation of Role-Based Access Control (RBAC) policies are proposed and evaluated …

Компьютерная безопасность и мобильность являются одними из самых актуальных
областей исследования и разработок. В первую очередь это связано с тем, что всё …

Web 服务的应用越来越广泛, Web 服务中的安全缺陷与漏洞也在不断增多, Web
服务安全性问题日益突出. Web 服务安全性测试是保证Web 服务软件安全性 …

Techniques are provided to implement application programming interface (API) security
validation testing for system integration testing (SIT) in a continuous integration environment …

Abstract Representation of Role Based Access Control (RBAC) policies as finite state
models and three conformance testing procedures for generating tests from these models …