Making distributed systems secure with program analysis and transformation.

Building secure distributed systems is difficult, and making sure they are secure is even harder. For strong security, a variety of different mechanisms are used, such as encryption, digital signatures, access control, and replication. But once the system is built, it is difficult to know that syste...

Descrición completa

Detalles Bibliográficos
Publicado en:Software engineering notes. 31, 1 (2006).
Autor Principal: Myers, Andrew
Formato: Artigo
Idioma:English
Subjects: