Results 141 to 150 of about 814,717 (190)

Check for publication integrity before misconduct

Nature, 2020
A tool that focuses on papers — not researcher behaviour — can help readers, editors and institutions assess which publications to trust. A tool that focuses on papers — not researcher behaviour — can help readers, editors and institutions assess which publications to trust.
Andrew, Grey, Mark J, Bolland, Alison, Avenell, Andrew A, Klein, C K, Gunsalus   +4 more
openaire   +2 more sources

Database Integrity Checking

2009
Integrity constraints (or simply “constraints”) are formal representations of invariant conditions for the semantic correctness of database records. Constraints can be expressed in declarative languages such as datalog, predicate logic, or SQL. This article highlights the historical background of integrity constraints and the essential features of ...
H. Decker, MARTINENGHI, DAVIDE
openaire   +2 more sources

IoT Gateway Integrity Checking Protocol

2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019
Internet of Things (IoT) gateways connected to the Internet and to IoT devices and running conventional operating systems and communication protocols, are valuable targets for malicious attackers. Once taken over, a compromised gateway can alter, drop or insert data while it bridges information from the IoT devices to the applications running on the ...
Mateus Martínez De Lucena, Roberto Milton Scheffel, Antônio Augusto Fröhlich   +2 more
openaire   +1 more source

Compliance checking of integrated business processes

Data & Knowledge Engineering, 2013
To enable compliance checking on integrated business processes we developed the NTL-ALC logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic NTL, by applying the deontic operators O (obligation) and P ...
Ioan Alfred Letia, Adrian Groza
openaire   +2 more sources

Avenues to Flexible Data Integrity Checking

17th International Conference on Database and Expert Systems Applications (DEXA'06), 2006
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this way, as has always been claimed, one can automatically derive strategies to check, in an incremental way, whether data preserve their integrity after the update.
H. Decker, MARTINENGHI, DAVIDE
openaire   +3 more sources

Managing Risks by Integrity Constraints and Integrity Checking

2011
Semantic properties of any kind, and in particular the riskiness of data can be modeled and monitored by conventional database integrity technology. As opposed to conventional integrity constraints, occasional violations of some of the constraints that capture risk aspects may be tolerable, even for extended periods of time.
openaire   +2 more sources

IJTAG Integrity Checking with Chained Hashing

2018 IEEE International Test Conference (ITC), 2018
The JTAG port is a well-known vector for attacks that attempt to gain access to a chip’s internal circuitry. Such attacks may modify or extract proprietary data and can lead to misconfigured chips and IP theft. This paper uses a hash-based signature created through the history of the data shifted into and out of a device via IJTAG to provide a measure ...
Senwen Kan, Jennifer Dworak
openaire   +2 more sources

Architecture Support for Dynamic Integrity Checking

IEEE Transactions on Information Forensics and Security, 2012
A trusted platform module (TPM) enhances the security of general purpose computer systems by authenticating the platform at boot time. Security can often be compromised due to the presence of vulnerabilities in the trusted software that is executed on the system.
Arun K. Kanuparthi, Mohamed Zahran 0001, Ramesh Karri   +2 more
openaire   +2 more sources

Integrity checking in data base systems

Information Systems, 1983
Abstract There is the problem, how to control data base integrity. For many types of integrity assertions it is an unsolved problem, how to prove them in justifiable time. This paper deals with methods for improving the testing of semantic integrity assertions.
Wolfgang Weber 0001, Wolffried Stucky, Jakob Karszt   +2 more
openaire   +2 more sources

Incremental Integrity Checking: Limitations and Possibilities

2005
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be obtained with respect to given update patterns by exploiting query optimization techniques.
Henning Christiansen 0001, Davide Martinenghi   +1 more
openaire   +4 more sources