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
(3)
Show More
Show Less
Author
Show More
Show Less
Subject
Computación
(3)
Cryptosystems
(1)
Decoding Algorithms
(1)
Derivative Disproportion Functions
(1)
Enumeration and Generation of Permutations
(1)
Model checking
(1)
Partially Fixed Order of Elements
(1)
browser based protocols
(1)
formal methods
(1)
security protocols
(1)
Show More
Show Less
Year
2017
(3)
2019
(3)
Show More
Show Less
Document Type
Sin Especificar
(3)
Show More
Show Less
Language
Inglés
(3)
Show More
Show Less
Your search
Language:
Inglés
Repository:
34
Subject:
Computación
Year:
2017
Sort by
Score
Title
Year
-
1-3 from
3
results
(0.009 seconds)
Title:
A Cryptosystem Based Upon Sums of Key Functions
Language:
Inglés
Repository:
34
Subject:
Computación
/
Cryptosystems
/
Derivative Disproportion Functions
/
Decoding Algorithms
Acceder
Acceder
Title:
A Model Checker for the Verification of Browser Based Protocols
Language:
Inglés
Repository:
34
Subject:
Computación
/
Model checking
/
browser based protocols
/
security protocols
/
formal methods
Acceder
Acceder
Title:
Enumeration and Generation of Permutations with a Partially Fixed Order of Elements
Language:
Inglés
Repository:
34
Subject:
Computación
/
Enumeration and Generation of Permutations
/
Partially Fixed Order of Elements
Acceder
Acceder
« Previous
1
Next »