13717 search results - page 2151 / 2744 » Control Systems |
183
click to vote
ACNS
2003
Springer
16 years 20 days ago
2003
Springer
This paper proposes a browser spoofing attack which can break the weakest link from the server to user, i.e., man-computerinterface, and hence defeat the whole security system of ...
206
click to vote
CAV
2003
Springer
16 years 20 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
173
click to vote
DBPL
2003
Springer
16 years 20 days ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
191
click to vote
ESORICS
2003
Springer
16 years 20 days ago
2003
Springer
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
209
click to vote
FIDJI
2003
Springer
16 years 20 days ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...