2573 search results - page 423 / 515 » Combinations of Modal Logics |
162
click to vote
BIRTHDAY
2005
Springer
16 years 12 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
160
click to vote
CF
2004
ACM
16 years 8 days ago
2004
ACM
This paper discusses fault-tolerant techniques for SRAM-based FPGAs. These techniques can be based on circuit level modifications, with obvious modifications in the programmable a...
171
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
170
click to vote
ACSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to comp...
172
click to vote
FM
2003
Springer
16 years 2 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...