2270 search results - page 123 / 454 » Modelling Secure IT Systems - A Survey |
123
Voted
CN
2000
15 years 3 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...
120
Voted
OOPSLA
1998
Springer
15 years 7 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
109
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...
141
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
114
click to vote
TPDS
1998
15 years 3 months ago
1998
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...