3811 search results - page 329 / 763 » The Safe-Tcl Security Model |
160
click to vote
CN
2000
15 years 6 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
137
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
172
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
171
click to vote
DSONLINE
2006
15 years 6 months ago
2006
In the past, it was very common to develop middleware without consideration of security from the very beginning. To integrate security, the middleware that should be protected has...
178
click to vote
TCS
2008
15 years 6 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...