Results 41 to 50 of about 814,717 (190)

XML Security in XML Data Integrity, Authentication, and Confidentiality [PDF]

The widely application of XML has increasingly required high security. XML security confronts some challenges that are strong relating to its features.
Liu, Baolong
core   +4 more sources

Symbolic model checking of logics with actions [PDF]

, 2006
Reasoning about agents and modalities such as knowledge and belief leads to models where different relations over states co-exist, or equivalently, where information (labels, actions) is associated to state transitions.
Raimondi, F., Proceedings of MOCHART 4: Model Checking and Artificial Intelligence, Pecheur, Charles, Raimondi, Franco, Pecheur, C.   +4 more
core  

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems [PDF]

, 2009
By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a large family ...
Leonid Libkin, Libkin, Leonid, Anthony Widjaja To, To, Anthony Widjaja   +3 more
core   +1 more source

Symmetry Reduced Model Checking for B [PDF]

, 2007
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states.
Turner, Edd, Leuschel, Michael, Butler, Michael, Spermann, Corinna   +3 more
core   +2 more sources

An efficient and secure protocol for checking remote data integrity in multi-cloud environment

Scientific Reports, 2021
In cloud environment, huge quantity of data has been generated at each and every second. In order to manage the data, cloud service provider makes use of multi-cloud platform to fulfill the requirement.
H. Anwarbasha, S. Sasi Kumar, D. Dhanasekaran   +2 more
doaj   +1 more source

Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster

CLEI Electronic Journal, 2006
This paper presents a solution to check referential integrity constraints and conjunctive global constraints in a relational multi database system. It also presents the experimental results obtained by implementing this solution over a PC cluster with ...
Stephane Gançarski, Claudia León, Hubert Naacke, Marta Rukoz, Pablo Santini   +4 more
doaj   +1 more source

File integrity checking [PDF]

, 2006
This thesis looks at file execution as an attack vector that leads to the execution of unauthorized code. File integrity checking is examined as a means of removing this attack vector, and the design, implementation, and evaluation of a best-of-breed ...
Motara, Yusuf Moosa
core   +1 more source

Control-flow checking via regular expressions [PDF]

, 2001
The present paper explains a new approach to program control flow checking. The check has been inserted at source-code level using a signature methodology based on regular expressions.
Di Natale, Giorgio, Tagliaferri, Luca, A. Benso, P. Prinetto, G. Di Natale, Benso, Alfredo, Prinetto, Paolo Ernesto, S. Di Carlo, L. Tagliaferri, Di Carlo, Stefano   +9 more
core   +1 more source

Simplified Integrity Checking for an Expressive Class of Denial Constraints

Algorithms
Data integrity is crucial for ensuring data correctness and quality and is maintained through integrity constraints that must be continuously checked, especially in data-intensive systems like OLTP.
Davide Martinenghi
doaj   +1 more source

Energy-Efficient Secure Path Algorithm for Wireless Sensor Networks

International Journal of Distributed Sensor Networks, 2012
To collect the data and transmit them on the base station is the main task of the sensor nodes in wireless sensor networks (WSNs). This transmission requires a specific routing algorithm.
Imanishimwe Jean de Dieu, Nyirabahizi Assouma, Maniraguha Muhamad, Wang Jin, Sungyoung Lee   +4 more
doaj   +1 more source