2236 search results - page 231 / 448 » Secure Software Design in Practice |
130
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
113
click to vote
UTP
2010
15 years 1 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
124
Voted
EUROSYS
2007
ACM
16 years 13 days ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
123
Voted
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
113
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Software architectures, like complex designs in any field, embody tradeoffs made by the designers. However, these tradeoffs are not always made explicitly by the designers and the...