Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Security and Privacy Aspects of Low-Cost Radio Frequency Identification SystemsWeis, Stephen A. ; Sarma, Sanjay E. ; Rivest, Ronald L. ; Engels, Daniel W.Lecture notes in computer science, 2004, p.201-212 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Livro
|
Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : ProceedingsHutter, Dieter ; Stephan, Werner ; Traverso, Paolo ; Ullmann, Markus Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, WernerBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
3 |
Material Type: Artigo
|
Enlisting Hardware Architecture to Thwart Malicious Code InjectionLee, Ruby B. ; Karig, David K. ; McGregor, John P. ; Shi, ZhijieLecture notes in computer science, 2004, p.237-252 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Visual Crypto Displays Enabling Secure CommunicationsTuyls, Pim ; Kevenaar, Tom ; Schrijen, Geert-Jan ; Staring, Toine ; van Dijk, MartenLecture notes in computer science, 2004, p.271-284 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
High Level System Design and Analysis Using Abstract State MachinesBörger, EgonApplied Formal Methods — FM-Trends 98, 1999, p.1-43 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Artigo
|
A Methodological Assessment of Location Privacy Risks in Wireless Hotspot NetworksGruteser, Marco ; Grunwald, DirkLecture notes in computer science, 2004, p.10-24 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Artigo
|
Authentication for Pervasive ComputingCreese, Sadie ; Goldsmith, Michael ; Roscoe, Bill ; Zakiuddin, IrfanLecture notes in computer science, 2004, p.116-129 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Artigo
|
Security and Privacy in Pervasive Computing State of the Art and Future DirectionsHutter, Dieter ; Stephan, Werner ; Ullmann, MarkusLecture notes in computer science, 2004, p.285-289 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware EnvironmentsRobinson, Philip ; Beigl, MichaelLecture notes in computer science, 2004, p.157-172 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
Protecting Access to People Location InformationHengartner, Urs ; Steenkiste, PeterLecture notes in computer science, 2004, p.25-38 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |