Deductive verification of cryptographic software

• http://www.scopus.com/inward/record.url?eid=2-s2.0-77956423308&partnerID=MN8TOARS
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• José Carlos Bacelar Almeida
• Almeida, J.B.
• Bárbara Vieira
• Almeida, José Bacelar
• Barbosa, M.
• Barbosa, Manuel Gonçalves
• Pinto, J.S.
• Pinto, Jorge Sousa
• Vieira, B.

data de publicação

• janeiro 1, 2010

publicada em

• Innovations in Systems and Software Engineering  Revista

Pesquisas

palavras-chave

• Cryptographic algorithms
• Program equivalence
• Program verification
• Self-composition

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s11334-010-0127-y

Informação adicional documento

Página Inicial

• 203

página final

• 218

Volume

• 6

questão

• 3