skip to main content
Idioma:
Refinado por: assunto: Model Checking remover IngentaConnect Journals remover assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract BDDs: A Technique for Using Abstraction in Model Checking
Abstract BDDs: A Technique for Using Abstraction in Model Checking
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Abstract BDDs: A Technique for Using Abstraction in Model Checking

Clarke, Edmund ; Jha, Somesh ; Lu, Yuan ; Wang, Dong Pierre, Laurence ; Kropf, Thomas

Correct Hardware Design and Verification Methods, 1999, p.172-187 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
A formal role-based access control model for security policies in multi-domain mobile networks
A formal role-based access control model for security policies in multi-domain mobile networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal role-based access control model for security policies in multi-domain mobile networks

Unal, D. ; Caglayan, M.U.

Computer networks (Amsterdam, Netherlands : 1999), 2013-01, Vol.57 (1), p.330-350 [Periódico revisado por pares]

Kidlington: Elsevier B.V

Texto completo disponível

Citações Citado por
3
KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems
KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems

Tounsi, Wiem ; Cuppens-Boulahia, Nora ; Garcia-Alfaro, Joaquin ; Chevalier, Yannick ; Cuppens, Frédéric

Journal of network and computer applications, 2014-03, Vol.39, p.152-166 [Periódico revisado por pares]

Kidlington: Elsevier Ltd

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.