8 results
Search Results
2. Towards the Correctness of Security Protocols.
- Author
-
Debbabi, Mourad and Mejri, Mohamed
- Subjects
COMPUTER software correctness ,COMPUTER security ,CRYPTOGRAPHY ,COMPUTER programming ,DEBUGGING ,DATA protection - Abstract
Abstract: In [19], the authors presented a type-theoretic approach to the verification of security protocols. In this approach, a universal type system is proposed to capture in a finite way all the possible computations (internal actions or protocol instrumentations) that could be performed by a smart malicious intruder. This reduces the verification of cryptographic protocols to a typing problem where types are attack scenarios. In this paper, we recall this type system and we prove its completeness i.e. if the intruder can learn a message from a given protocol instrumentation, then this message could be infered from the type system. A significant result of this paper is the presentation of a new transformation that allows us to abstract a non-terminating type inference system into a terminating deductive proof system. We demonstrate how these results could be used to establish the security of cryptographic protocols from the secrecy standpoint. Finally, the usefulness and the efficiency of the whole approach is illustrated by proving the correctness of a new version of the Needham-Shoreder protocol with respect to the secrecy property. [Copyright &y& Elsevier]
- Published
- 2003
- Full Text
- View/download PDF
3. A Type System for Robust Declassification.
- Author
-
Zdancewic, Steve
- Subjects
ROBUST control ,PROGRAMMING languages ,COMPUTER security ,COMPUTER programming ,COMPUTER science ,LATTICE theory - Abstract
Abstract: Language-based approaches to information security have led to the development of security type systems that permit the programmer to describe confidentiality policies on data. Security type systems are usually intended to enforce noninterference, a property that requires that high-security information not affect low-security computation. However, in practice, noninterference is often too restrictive—the desired policy does permit some information leakage. To compensate for the strictness of noninterference, practical approaches include some mechanism for declassifying high-security information. But such declassification is potentially dangerous, and its use should be restricted to prevent unintended information leaks. Zdancewic and Myers previously introduced the notion of robust declassification in an attempt to capture the desired restrictions on declassification, but that work did not propose a method for determining when a program satisfies the robust declassification condition. This paper motivates robust declassification and shows that a simple change to a security type system can enforce it. The idea is to extend the lattice of security labels to include integrity constraints as well as confidentiality constraints and then require that the decision to perform a declassification have high integrity. [Copyright &y& Elsevier]
- Published
- 2003
- Full Text
- View/download PDF
4. PESQUISA BIBLIOGRÁFICA SOBRE OS ESTUDOS CIENTÍFICOS RELACIONADOS COM O BITCOIN E A BLOCKCHAIN.
- Author
-
Arturo Castañeda-Ayarza, Juan, Neves, Cíntia, and Frazão Teixeira, André
- Subjects
SCIENTIFIC knowledge ,DIGITAL currency ,SHARING economy ,COMPUTER programming ,INTERNET of things - Abstract
Copyright of Contextus: Revista Contemporanea de Economia e Gestao is the property of Contextus: Revista Contemporanea de Economia e Gestao and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2019
- Full Text
- View/download PDF
5. ALGORITHMIC LOGIC TO SOLVE COMPUTATIONAL PROGRAMMING PROBLEMS: A DIDACTIC PROPOSAL / LÓGICA ALGORÍTMICA PARA LA RESOLUCIÓN DE PROBLEMAS DE PROGRAMACIÓN COMPUTACIONAL: UNA PROPUESTA DIDÁCTICA
- Author
-
Yaritza Tardo Fernández, Alexander Gorina Sánchez, Isabel Alonso Berenguer, and Antonio Salgado Castillo
- Subjects
Algorithmic Logic ,computer programming ,problem solving ,Lógica algorítmica ,programación computacional ,resolución de problemas ,Education (General) ,L7-991 - Abstract
The cultural, technological and eminently social character of the computer programming problems solving process, joined with the complexity and difficulties detected in their teaching, has contributed to increase the concern about the study of the processes of communication, transmission and understanding of computer programming and to attract the attention of a wide scientific community in correspondence with the growing development that this reaches at the present time. That is the reason why this paper has the objective of discover, from the didactic point of view, the integrators axes of an algorithmic logic that solves the contradiction that is revealed in the formative process between the mathematic modeling and their algorithmic systematization to empower an efficient performance of the professionals of Computer Science and Computer Engineering. In this sense a new didactic proposal is based, that consist in an algorithmic logic, in which are specified and explained those essentials processes that should be carry out to solve computer programming problems. Based on the theoretical fundaments, we concluded that these processes constitute didactics moments, required in order to solve the contradiction mentioned before.RESUMENEl carácter eminentemente social, cultural y tecnológico del proceso de resolución de problemas de programación computacional, junto a la complejidad y dificultades detectadas en su enseñanza, han contribuido a despertar la preocupación por el estudio de los procesos de comunicación, transmisión y comprensión de la Programación y a interesar a una amplia comunidad científica en correspondencia con el creciente desarrollo que ésta alcanza en la actualidad. Razón por la cual este trabajo tiene como objetivo que se develen, desde el punto de vista didáctico, los ejes integradores de una lógica algorítmica que sea contentiva de la solución a la contradicción que se revela en el proceso formativo entre la modelación matemática y su sistematización algorítmica, para potenciar un desempeño eficiente de los profesionales de la Ciencia de la Computación y de la Ingeniería Informática. En esta dirección se fundamenta una nueva propuesta didáctica consistente en una lógica algorítmica, en la que se precisan y explican aquellos procesos esenciales que deben de llevarse a cabo en la resolución de problemas de programación computacional. Desde la fundamentación teórica realizada, se concluye que estos procesos constituyen momentos didácticos necesarios para resolver coherentemente la contradicción antes señalada.
- Published
- 2013
6. Active learning methodologies and the cognitive load theory in building paths for teaching computer programming
- Author
-
Berssanette, João Henrique, Francisco, Antonio Carlos de, Koscianski, André, Matos, Eloiza Aparecida Silva Avila de, Mattar Neto, João Augusto, and Pedro, Neuza Sofia Guerreiro
- Subjects
Active learning ,Aprendizagem ativa ,CIENCIAS HUMANAS [CNPQ] ,Prática de ensino ,Inovações educacionais ,Programação (Computadores) ,Ensino - Metodologia ,Educational innovations ,Student teaching ,Computer programming ,Teaching - Methodology ,Engenharia/Tecnologia/Gestão - Abstract
Acompanha produção técnica: Construindo “novos” caminhos para o ensino de programação por meio do uso de metodologias ativas de aprendizagem e teoria da carga cognitiva Em virtude da relevância dos computadores para a sociedade, tem-se notabilizado o fomento das habilidades relacionadas à programação de computadores. Entretanto, aprender a programar computadores não é uma tarefa simples, tampouco trivial, pois a programação é uma habilidade altamente cognitiva, a qual requer múltiplos domínios. Por isso, a literatura evidencia que o processo de ensino/aprendizagem de programação de computadores tem se constituído um desafio para professores e estudantes, ocasionando elevados níveis de insucesso. Esta pesquisa teve por objetivo avaliar a contribuição de uma abordagem pedagógica baseada na associação de Metodologias Ativas de Aprendizagem e a Teoria da Carga Cognitiva para o ensino de programação de computadores, a partir das perspectivas dos docentes. Para tanto, foi desenvolvido um estudo de métodos mistos com docentes das áreas de Computação, Informática e afins, que lecionam matérias relacionadas à programação de computadores. Os dados foram obtidos a partir de uma formação continuada, por intermédio de questionários, atividades, registros de participações e/ou interações dos docentes participantes. A análise dos dados apurados tem como escopo as perspectivas dos docentes participantes dessa formação quanto à abordagem pedagógica proposta. Os resultados obtidos mostram que, nas perspectivas dos docentes participantes, a abordagem pedagógica proposta contribui para auxiliar e orientar o docente na organização didático-pedagógica do processo de ensino/aprendizagem e no planejamento e estruturação das aulas, alinhando esse processo às capacidades de assimilação dos estudantes, de forma a ampliar a contextualização dos conteúdos e conceitos que, por sua vez, aumentam a satisfação, a motivação, o interesse, o envolvimento, o engajamento e o protagonismo dos discentes. Ademais, verificou-se que a associação proposta de Metodologias Ativas de Aprendizagem e a Teoria da Carga Cognitiva têm um potencial sinérgico, uma vez que essas metodologias podem ser mais efetivas ou, ainda, aperfeiçoadas, a partir dos conceitos da teoria da carga cognitiva, possibilitando um ponto de equilíbrio entre os benefícios da participação ativa dos estudantes e os custos relacionados à maior carga cognitiva envolvida. Com isso, depreende-se que, nas perspectivas dos docentes, a abordagem pedagógica proposta tem potencial para contribuir significativamente para o ensino de programação de computadores, por meio do suporte teórico e metodológico, propiciando o desenvolvimento de práticas educativas adequadas, alinhadas à educação contemporânea e às necessidades e capacidades dos aprendizes. Essas práticas são condizentes com a redução dos insucessos no aprendizado de programação. Given the current relevance of computers for society, a drive towards enhancing computer programming related skills has become noticeable. However, learning to program computers is no simple or trivial task since programming is a highly cognitive skill, requiring mastery of multiple aspects. Thus, literature evidences that the teaching/learning process for computer programming has become a challenge for both, teachers and students, resulting in high levels of unsuccess. The objective of this paper is to evaluate the contribution of a pedagogic approach based on associating Active Learning Methodologies and the Theory of Cognitive Load in teaching computer programming, from the faculty standpoint. To this end, a study of mixed methods was undertaken with faculty from the areas of Computers Sciences, Informatics and other similar, who teach subjects related to computer programming. The data was obtained from a continued qualification, by way of questionnaires, activities, participation and/or interaction records from the participating faculty members. The scope of the analysis of the data obtained is the perspective of the faculty participating in this qualification on the proposed pedagogic approach. The results obtained show that, from the perspective of participating faculty, the proposed pedagogic approach contributes to helping and guiding faculty members in the didactic-pedagogic organization of the teaching/learning process and in planning and structuring classes, aligning this process to the student’s capacity to assimilate, so as to broaden the contextualization of contents and concepts that, in their turn, increase satisfaction, motivation, interest, and involvement, engagement as well as the protagonism of learners. Further, the existence of a synergistic potential in the association proposed between Active Learning Methodologies and the Theory of Cognitive Load was evidenced, given that these methodologies can be more effective or, yet, enhanced, through deploying the concepts of the Theory of Cognitive Load, enabling achieving a balance point between the benefits of active student participation and costs relative to the higher cognitive load involved. This leads to the understanding that, from the faculty standpoint, the pedagogic approach proposed has potential to make a significant contribution to the teaching of computer programming, through technical and methodological support, driving the development of adequate educational practices, aligned to contemporary education and the needs and capacity of learners. These are fitting in reducing the lack of success in learning programming skills.
- Published
- 2021
7. Metodologia para a monitorização e gestão da pesca de arrasto em Portugal. O exemplo do SIG GEOCRUST 1.0
- Author
-
Joana Simões, Carlos Pinto, and Manuel Afonso-Dias
- Subjects
Geographic Information System (GIS) ,Computer programming ,Databases ,GPS ,Fisheries ,Southwest and South coasts of Portugal. ,Geography. Anthropology. Recreation - Abstract
A METHODOLOGY FOR THE MONITORING AND MANAGEMENT OF TRAWL FISHERIES IN PORTUGAL. THE SIG EXAMPLE OF GEOCRUST 1.0. This paper aims to present the Geographical Information System GEOCRUST 1.0, a computer programme developed within the fishery research project DGXIV 99/059, Use of Satellite GPS data to map effort and landings of the Portuguese crustacean fleet (GEOCRUST), in the University of Algarve. This stand-alone application was developed essentially to map fishing effort and catch per unit effort (CPUE) information for the Portuguese crustacean trawl fleet, operating off the Southwest and South coasts of Portugal. The data available for this study included GPS vessels’ geographical positions and speed, transmitted via satellite to the Portuguese fisheries inspection authorities, and their catch reported to the Portuguese Directorate-General of Fisheries. GEOCRUST 1.0 was developed in ®VISUAL BASIC 6.0 using two ActiveX control: ADODB, to connect with the ®MSACCESS 2000 database and ®MAPOBJECTS 2.0 PRO, to communicate with the maps and provide GIS facilities. The application includes seven modules with the following objectives: Module 1 – to map and edit the original VMS data for a single vessel or group of vessels, for different periods of time; Module 2 – to analyse the trawl speed of each vessel; Module 3 – to define the boundaries of all fishing trips performed by vessel along the year; Module 4 – to identify and define the trawl hauls, within each fishing trip; Module 5 – to issue maps of fishing effort and CPUE; Module 6 – for exploratory data analysis and to extract data from the DB for further use in other computer packages and Module 7 – to recreate the activity of a single vessel, group of vessels or the total fleet, for a fixed period of time. This GIS application, fully developed by programming, has the advantage of being able to be used on its own without any need for external software support. The system developed is a methodological proposal to implement in Portugal, to monitor and manage the trawl fisheries, in particular, the crustacean trawl fishery.
- Published
- 2003
8. Active Learning Methodologies: an experience report in the courses of programming and data structure
- Author
-
Nara Martini Bigolin, Sidnei Renato Silveira, Cristiano Bertolini, Iara Carnevale de Almeida, Marlise Geller, Fábio José Parreira, Guilherme Bernardino da Cunha, and Ricardo Tombesi Macedo
- Subjects
lcsh:LC8-6691 ,lcsh:Special aspects of education ,Learning and Teaching Processes ,Logic Programming ,Computer Programming ,procesos de enseñanza y aprendizaje ,processos de ensino e de aprendizagem, lógica de programação, programação de computadores ,lógica de programación ,Processos de Ensino e de Aprendizagem ,Lógica de Programação ,lcsh:Social Sciences ,lcsh:H ,Programação de Computadores ,lcsh:Science (General) ,lcsh:Q1-390 ,programación informática - Abstract
The objective of this paper is presents an experience report carried out during the learning-teaching processes in the courses involving the study of algorithms, programming logic, and programming language. in the Degree in Information Systems of Federal University of Santa Maria in the city of Frederico Westphalen - RS. The report presents the strategies and results, obtained from the application of active learning methodologies, placing the student as the center of the process, an active subject in the construction of his knowledge. El propósito del este artículo es presentra una descripción de las experiencias realizadas durante los procesos de enseñanza del aprendizaje en las disciplinas que involucran el estudio de algoritmos, lógica de programación y lenguajes de programación en el curso de Licenciatura en Sistemas de Información de la Universidad Federal de Santa Maria en la ciudad de Frederico Westphalen – RS. El informe presenta las estrategias y los resultados obtenidos de la aplicación de metodologías de aprendizaje activo, colocando al alumno como el centro del proceso, sujeto activo en la construcción de sus conocimientos. O objetivo deste artigo é o de apresentar, por meio de um relato de experiências, as ações realizadas durante os processos de ensino de aprendizagem nas disciplinas envolvendo o estudo de algoritmos, lógica de programação e linguagens de programação no Curso de Bacharelado em Sistemas de Informação da UFSM (Universidade Federal de Santa Maria) – Campus Frederico Westphalen – RS. O relato apresenta as estratégias e os resultados obtidos a partir da aplicação de metodologias ativas de aprendizagem, colocando o aluno como centro do processo, sujeito ativo na construção do seu conhecimento.
- Published
- 2020
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.