Most devices capable of capturing photographs are provided with a Colour Filter Array (CFA). Images generated by these devices can be analysed to detect the so known CFA artefacts left by demosaicing methods. These artefacts are important in digital image forensics since they prove useful for determining the authenticity of an image. Previous works have focused exclusively on the analysis of the green band of the Bayer filter, neglecting the information in the remaining bands. In this work a process to estimate the pattern left by CFA artefacts regardless of their configuration is proposed, which can be used regardless of the size or colours used by the filter, or even in different colour spaces, obtaining in this way new sources of information for forensic analysis. A review and comparisons against state-of-the-art projects addressing the detection of manipulations using CFA artefacts are performed. The sensitivity of these proposals to post-processing methods such as compression and filtering will also be reviewed. We will also observe experimentally that the proposed technique can detect manipulations even in images affected by high levels of JPEG compression.
Digital images and videos play a very important role in everyday life. Nowadays, people have access the affordable mobile devices equipped with advanced integrated cameras and powerful image processing applications. Technological development facilitates not only the generation of multimedia content, but also the intentional modification of it, either with recreational or malicious purposes. This is where forensic techniques to detect manipulation of images and videos become essential. This paper proposes a forensic technique by analysing compression algorithms used by the H.264 coding. The presence of recompression uses information of macroblocks, a characteristic of the H.264-MPEG4 standard, and motion vectors. A Vector Support Machine is used to create the model that allows to accurately detect if a video has been recompressed.
In this research work, a soft computing optimization operating approach is developed for a multi-objective aspirational level fractional transportation problem. In the proposed technique, a mathematical model is formulated for the multi-objective aspirational level fractional transportation problem (MOFTP) based on the highest value of one and all objectives of the model. We also used the symmetry concept over our model to identify the best optimum solution based on symmetrical data. We constructed the membership grades for the set of fetched parameters having symmetry. In this work, we also used the concept of ranking function in our mathematical model to obtain the optimum solution of the fuzzy multi-objective fractional transportation. In this proposed algorithm, the aspiration levels are also associated with the objective function of MOFTP. We are also proposing a new approach for the optimization of fractional problems in which the objectives are being optimized by using the numerator function and denominator function simultaneously. Further, a methodology is also developed to find the average cost for each fractional objective of the model. After that, we will find the ranking function for each parameter by using the defuzzification method. By this methodology, we will be able to convert the MOFTP into a bi-objective transportation problem. The provided technique is elaborated with the help of numerical computations to prove the beauty and power of the proposed technique.
This article introduces a new type of C*-algebra valued modular G-metric spaces that is more general than both C*-algebra valued modular metric spaces and modular G-metric spaces. Some properties are also discussed with examples. A few common fixed point results in C*-algebra valued modular G-metric spaces are discussed using the “C*-class function”, along with some suitable examples to validate the results. Ulam–Hyers stability is used to check the stability of some fixed point results. As applications, the existence and uniqueness of solutions for a particular problem in dynamical programming and a system of nonlinear integral equations are provided.
Multimedia files play an important role in everyday life. Today, the majority of the population owns state-of-the-art cameras integrated into their mobile devices. Technological development not only facilitates the generation of multimedia content, but also the intentional manipulation of it, and this is where forensic techniques of detecting manipulation on images and videos take on great importance. Although historically there has been confidence in the integrity of images, the advance of technology has begun to erode this confidence. This work proposes a digital image authentication method based on the quadratic mean error of the Color Filter Array interpolation pattern estimated from the analysed image. For the evaluation of the proposed method, experiments were carried out with public databases of forged images that are widely developed for research purposes. The results of the experiments demonstrate the efficiency of the proposed method.
According to the United Nations, 70% of the world's population will live in cities by 2050. This growth will be reflected in the demand for better services that should be adjusted to the collective and individual needs of the population. Governments and organizations are working on defining and implementing strategies that will enable them to respond to these challenges. The main challenges are related to transport and its management, considering transportation as a core issue in the economy, sustainability, and development of the regions. In this way, the Intelligent Transportation Systems (ITS) play a key role in the response to these scenarios, being that they are the framework where the new hardware and software tools are integrated, allowing an efficient development of transportation systems management, attending to aspects such as: traffic management, communications between vehicles and infrastructures, and security, among others. Nevertheless, the concept of ITS evolves rapidly so it is necessary to understand its evolution. To do that, the current research develops a thematic analysis of ITS in literature, evaluating the intellectual structure and its evolution using SciMAT, quantifying the main bibliometric performance indicators, and identifying the main research areas, authors, journals, and countries. To this purpose, the publications related to ITS from 1993 to 2019 available in the Web of Science (WoS) Core Collection were retrieved (7649 publications) and analyzed. Finally, one of the main results is the latest research themes map of ITS, considering its intellectual structure, evolution, and relationship. It assists in the definition and implementation of strategies, the identification of the scientific, academic, and business opportunities, and future research lines to consolidate the role of ITS in the new city models.
Several works have addressed the problem of detecting manipulations in images acquired from devices that use colour filter arrays, typical in the market due to low production costs. These devices use chromatic interpolation algorithms during the image formation process, allowing them to perform statistical analyses of inconsistencies generated from this process for authentication purposes. Most of the works focus on analysing the green band of the Bayer filter since it contains more information than blue and red bands. The lack of methods for effectively analysing other bands or different colour filters reduces the detection capability of known tools. The main purpose of this work is to provide a general methodology for detecting manipulations in this type of devices, in addition to providing new techniques that allow generalising the analysis in a great diversity of sensors.
Current requirements for ensuring data exchange over the internet to fight against security breaches have to consider new cryptographic attacks. The most recent advances in cryptanalysis are boosted by quantum computers, which are able to break common cryptographic primitives. This makes evident the need for developing further communication protocols to secure sensitive data. Zero-knowledge proof systems have been around for a while and have been considered for providing authentication and identification services, but it has only been in recent times that its popularity has risen due to novel applications in blockchain technology, Internet of Things, and cloud storage, among others. A new zero-knowledge proof system is presented, which bases its security in two main problems, known to be resistant, up to now, against quantum attacks: the graph isomorphism problem and the isomorphism of polynomials problem.
With the increasing number of software applications that allow altering digital images and their ease of use, they weaken the credibility of an image. This problem, together with the ease of distributing information through the Internet (blogs, social networks, etc.), has led to a tendency for information to be accepted as true without its veracity being questioned. Image counterfeiting has become a major threat to the credibility of the information. To deal with this threat, forensic image analysis is aimed at detecting and locating image forgeries using multiple clues that allows it to determine the veracity or otherwise of an image. In this paper, we present a method for the authentication of images. The proposed method performs detection of copy-move alterations within an image, using the discrete cosine transform. The characteristics obtained from these coefficients allow us to obtain transfer vectors, which are grouped together. Through the use of a tolerance threshold, it is possible to determine whether there are regions copied and pasted within the analysed image. The results obtained from the experiments reported in this paper demonstrate the effectiveness of the proposed method. For the evaluation of the proposed methods, experiments were carried out with public databases of falsified images that are widely used in the literature.
Existence of mobile devices with high performance cameras and powerful image processing applications eases the alteration of digital images for malicious purposes. This work presents a new approach to detect digital image tamper detection technique based on CFA artifacts arising from the differences in the distribution of acquired and interpolated pixels. The experimental evidence supports the capabilities of the proposed method for detecting a broad range of manipulations, e.g., copy-move, resizing, rotation, filtering and colorization. This technique exhibits tampered areas by computing the probability of each pixel of being interpolated and then applying the DCT on small blocks of the probability map. The value of the coefficient for the highest frequency on each block is used to decide whether the analyzed region has been tampered or not. The results shown here were obtained from tests made on a publicly available dataset of tampered images for forensic analysis. Affected zones are clearly highlighted if the method detects CFA inconsistencies. The analysis can be considered successful if the modified zone, or an important part of it, is accurately detected. By analizing a publicly available dataset with images modified with different methods we reach an 86% of accuracy, which provides a good result for a method that does not require previous training.
Zero-Knowledge Proofs ZKP provide a reliable option to verify that a claim is true without giving detailed information other than the answer. A classical example is provided by the ZKP based in the Graph Isomorphism problem (GI), where a prover must convince the verifier that he knows an isomorphism between two isomorphic graphs without publishing the bijection. We design a novel ZKP exploiting the NP-hard problem of finding the algebraic ideal of a multivariate polynomial set, and consequently resistant to quantum computer attacks. Since this polynomial set is obtained considering instances of GI, we guarantee that the protocol is at least as secure as the GI based protocol.