191 search results - page 23 / 39 » Systematic Security Analysis for Service-Oriented Software A... |
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
AGENTS
2001
Springer
14 years 3 days ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...