8503 search results - page 357 / 1701 » Secure Software Architectures |
213
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
190
click to vote
CMS
2006
15 years 8 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
166
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
The effectiveness of current anti-spam systems is limited by the ability of spammers to adapt to new filtering techniques and the lack of incentive for mail domains to filter outg...
176
click to vote
IEEEARES
2006
IEEE
16 years 23 days ago
2006
IEEE
Discovery of service providers that are useful to service requesters is a common problem in large, dynamic serviceoriented systems, such as Grids. Simple service indices do not ad...
161
Voted
MA
1997
Springer
15 years 11 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...