2432 search results - page 386 / 487 » Cryptographic logical relations |
166
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
140
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
128
click to vote
BIRTHDAY
2005
Springer
15 years 10 months 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...
145
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
147
click to vote
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
The implementation of a standard PKI in a mobile ad hoc network (MANET) is not practical for several reasons: (1) lack of a fixed infrastructure; (2) a centralized certification au...