2213 search results - page 337 / 443 » Software Security |
124
click to vote
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Information synthesis is a key portion of the analysis process with visual analytics tools. This stage of work requires users to collect, organize, and add meaning to individual a...
112
click to vote
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
138
Voted
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
139
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...