946 search results - page 54 / 190 » Software engineering for security: a roadmap |
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
COMPSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...
AGENTS
1997
Springer
15 years 1 months ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
121
click to vote
CBSE
2011
Springer
13 years 9 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...