3121 search results - page 84 / 625 » Information Survivability Control Systems |
186
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
151
click to vote
CISS
2008
IEEE
16 years 22 days ago
2008
IEEE
—This paper studies a network under TCP congestion control, in which the number of flows per user is explicitly taken into account. We present a control law for this variable th...
216
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
163
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper describes how the curriculum and course format at the Air Force Institute of Technology (AFIT) has evolved based on our experience with the highly-successful Cyber Defe...
144
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...