3458 search results - page 407 / 692 » Abstracting Control |
204
click to vote
FINANCECOM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Large financial firms with thousands of employees face many challenges ensuring workers have access to the right information, yet controlling access to unneeded data. We ...
147
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
155
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
127
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
118
click to vote
FSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In Wang’s attack, message modifications allow to deterministically satisfy certain sufficient conditions to find collisions efficiently. Unfortunately, message modi...