Results 21 to 30 of about 337,799 (288)
Checking sequence construction using adaptive and preset distinguishing sequences [PDF]
, 2009 Methods for testing from finite state machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences.
Husnu Yenigun +11 more
core +1 more source
I feel good, therefore I am real: Testing the causal influence of mood on state authenticity [PDF]
, 2013 Although the literature has focused on individual differences in authenticity, recent findings suggest that authenticity is sensitive to context; that is, it is also a state.
Sedikides, Constantine +8 more
core +1 more source
A Novel Digital Signature Scheme for Advanced Asymmetric Encryption Techniques
Applied Sciences, 2023 Digital signature schemes are practical mechanisms for achieving message integrity, authenticity, and non-repudiation. Several asymmetric encryption techniques have been proposed in the literature, each with its proper limitations. RSA and El Gamal prove
Farid Lalem +4 more
doaj +1 more source
Improvements to the Implementation of Interpolant-Based Model Checking
, 2005 The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking~(BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the
Marques-Silva, Joao
core +2 more sources
MethodsX, 2023 There has been a tremendous increase in the popularity of social media such as blogs, Instagram, twitter, online websites etc. The increasing utilization of these platforms have enabled the users to share information on a regular basis and also publicize
Monikka Reshmi Sethurajan +1 more
doaj +1 more source
The Design of E-Traveler’s Check with Efficiency and Mutual Authentication
Journal of Networks, 2009 Nowadays, traveling has become a popular leisure activity in our daily lives. Travelers can either use cash or credit cards to pay their bills. However, there is risk of cash being robbed or credit cards being copied. The traveler's check, which is a third choice, comes in to get travelers around such risks and to protect their rights.
Chin-Chen Chang 0001, Shih-Chang Chang
openaire +3 more sources
Analysing a Stream Authentication Protocol Using Model Checking
International Journal of Information Security, 2002 In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient Stream Loss-tolerant Authentication Protocol, TESLA. This protocol differs from the standard class of authentication protocols previously analysed using model checking techniques in ...
Hopcroft, P, Lowe, G
openaire +3 more sources
Zhishi guanli luntan[Purpose/Significance] This study focuses on the application effect of large language models in the field of fact-checking, aiming to systematically explore their impact on users' ability to distinguish the authenticity of information and examine the ...
Li Wangxu, Xia Zhijie
doaj +1 more source
Jurnal RESTI (Rekayasa Sistem dan Teknologi Informasi), 2020 Hadith has several levels of authenticity, among which are weak (dhaif), and fabricated (maudhu) hadith that may not originate from the prophet Muhammad PBUH, and thus should not be considered in concluding an Islamic law (sharia).
muhammad zaky ramadhan +1 more
doaj +1 more source
Classification of Fake News by Fine-tuning Deep Bidirectional Transformers based Language Model [PDF]
EAI Endorsed Transactions on Scalable Information Systems, 2020 With the ever-increasing rate of information dissemination and absorption, “Fake News” has become a real menace. Peoplethese days often fall prey to fake news that is in line with their perception.
Akshay Aggarwal +4 more
doaj +1 more source