Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
Abstract BDDs: A Technique for Using Abstraction in Model CheckingClarke, Edmund ; Jha, Somesh ; Lu, Yuan ; Wang, Dong Pierre, Laurence ; Kropf, ThomasCorrect Hardware Design and Verification Methods, 1999, p.172-187 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A formal role-based access control model for security policies in multi-domain mobile networksUnal, 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.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systemsTounsi, Wiem ; Cuppens-Boulahia, Nora ; Garcia-Alfaro, Joaquin ; Chevalier, Yannick ; Cuppens, FrédéricJournal of network and computer applications, 2014-03, Vol.39, p.152-166 [Periódico revisado por pares]Kidlington: Elsevier LtdTexto completo disponível |