A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model

We introduce cryptographic primitives to the symbolic transition graph with the binary equivalence relation based on the CCS language with value-passing processes, which is designed for the description and analysis of security protocols. The STGR with cryptographic primitives, which is an extension of the STG, is applied to partition domains of conversations of security protocols that run in an infinite concurrent way, where principals possessing their relevant keys have received and transformed the message. The cryptographic primitives enable us to consider cryptographic issues on the principal conversations of security protocols in more detail. Our work results in a highly efficient solution to reduce computational complexities to prove safety properties of security protocols.

Download Full-text

Acerca del carácter representacional de la mente. La mente representacional

Psychology Society & Education ◽

10.25115/psye.v6i2.513 ◽

2017 ◽

Vol 6 (2) ◽

pp. 125

Author(s):

José María Zumalabe Makirriain

Keyword(s):

Computational Model ◽

Mental Representations ◽

Unified Theory ◽

Symbolic Model ◽

Representational Capacity ◽

Weak Points ◽

Human Thinking ◽

The Mind ◽

Representational Models ◽

Computational Processes

Resumen: Desde las ciencias cognitivas se entiende el pensamiento en términos de estructuras de representaciones mentales sobre las que operan procesos computacionales. En el modelo representacional-computacional de la mente se recurre a una compleja analogía triádica que vincula mente, cerebro y ordenadores. La mayoría de estos modelos son simbólicos, aunque también existen modelos representacionales no simbólicos (conexionismo) y modelos cognitivos no representacionales de la mente. El análisis de los diferentes enfoques cognitivos sobre las representaciones y los procesos mentales en el marco de la ciencia cognitiva y de sus ventajas y limitaciones revela que se trata de enfoques que no tienen por qué ser excluyentes entre sí y que en muchos de los casos se complementan, aunque también se constata la ausencia de una teoría unificada al respecto. Tras considerar los puntos débiles tanto del modelo simbólico computacional clásico como del conexionismo, reconociendo los avances significativos propiciados por ambos en el estudio de la mente, se concluye que no existe todavía ningún modelo computacional con capacidad representacional para abarcar todo el pensamiento humano. About the representational nature of the mind. The representational mind. Abstract: According to cognitive science, thinking is understood as structures of mental representations on which computational processes operate. In the representational-computational model of the mind, we resort to a complex triadic analogy that links mind, brain and computers. Most of these models are symbolic, although there are also non-symbolic representational models (connectionism) and non-representational cognitive models of the mind. The analysis of the various cognitive approaches on the representations and the mind processes within the framework of the cognitive sciences and of their advantages and limitations reveals that these approaches do not have to mutually exclusive and that, in many of the cases, they complement each other. However, the lack of a unified theory regarding this matter has also been stated. After considering the weak points of both the classic computational symbolic model and the connectionism, acknowledging the significant progresses made by both in the study of the mind, we conclude that there is still no computational model with representational capacity to cover the whole human thinking.

Download Full-text