14850 search results - page 2654 / 2970 » The Security of |
187
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
180
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
206
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
176
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
174
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...