6555 search results - page 273 / 1311 » Secure attribute-based systems |
156
click to vote
EEE
2005
IEEE
16 years 7 days ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
147
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Tracking technologies use pervasive information systems to scan and record the location of individuals and to transfer information about them to and from a central database. One p...
188
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
With the discovery of new exploit techniques, new protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomiz...
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
159
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...