OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

34 (2)

Show More Show Less

Author

Cantu, Francisco J (1)
Ceballos Cansino, Héctor Gibrán (1)

Show More Show Less

Subject

7 INGENIERÍA Y TECNOLOGÍA (1)
Authentication (1)
Cryptographic protocols (1)
Electric fault location (1)
Engineering practices (1)
Fault localization (1)
Formal methods (1)
Formal verification (1)
Inductive method (1)
Intelligent agents (1)

Show More Show Less

Year

2007 (2)
2018 (1)
2019 (1)

Show More Show Less

Document Type

Artículo (1)
Sin Especificar (1)

Show More Show Less

Language

Inglés (2)

Show More Show Less

Your search

Language: Inglés Query: COMPUTER VISION Year: 2007 Repository: 34

Sort by Score Title Year -

1-2 from 2 results (0.032 seconds)

Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language: Inglés
Repository: 34
Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA

Acceder
Title: Modelling intelligent agents through causality theory
Author: Cantu, Francisco J / Ceballos Cansino, Héctor Gibrán
Language: Inglés
Repository: 34
Subject: Science / Intelligent agents

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723