Which security proof is better reduction in mathematical or automatic verification by using tools?

07 July 2019 1 10K Report

I think the security protocol proof by using an automatic verification tool is better because the reduction mathematical proof is hard and few people may read it.

Badges
Science topic

Similar topics
Mathematics

More Zeyad Mohammad's questions See All

Do you think all articles accepted in journals with the highest impact factor are excellent articles?

10 November 2019 5,378 9 View

The questions ask about your favorite. Do you think these questions may reveal your privacy?

the questions ask about your favorite. Do you think these questions may reveal your privacy?

09 October 2019 4,351 19 View

Is it possible to be a journal indexed SCI and is not indexed in Scopus?

08 September 2019 8,722 7 View

What is your opinion on the internationalization of university study?

07 August 2019 2,055 4 View

Is it possible to implement ECC bilinear pairing in WSN?

06 July 2019 9,819 6 View

What is the formal website that is used for testing IoT application vulnerabilities?

06 July 2019 1,720 4 View

What are the differences between multidisciplinary publisher and multidisciplinary journal?

06 July 2019 2,812 3 View

Is cybersecurity the future of computer science?

06 July 2019 4,041 3 View

What is the best job position for a Ph.D. ?

What is the best job position for a Ph.D. ? the teaching or research and development)

06 July 2019 3,578 9 View

Do you prefer to publish your article in an open access journal or not? and Why?

06 July 2019 1,120 16 View

What is the difference between mathematical R^4 space and physical 4D unit space?

We assume that the difference is huge and that it is not possible to compare the two spaces. The R^4 mathematical space considers time as an external controller and the space itself is immobile in...

10 August 2024 6,678 14 View

What should a Mechanical Engineering PhD scholar focus on during their PhD to enhance their chances of securing a postdoctoral position?

29 July 2024 7,714 4 View

All math can be explained by iterator of code?

all math can be traversed by code? all math can be translate to code?

26 July 2024 9,530 0 View

Can we eliminate the stress singularity at the tip of the crack by manipulating the elastic constants?

The aim of the research here is to prevent the propagation of the crack in the fabricated elastic medium with useful applications.

25 July 2024 9,976 3 View

What is climate resilience for food security and sustainable agriculture and how is smart irrigation in agriculture climate resilient?

22 July 2024 1,947 0 View

Who wants opportunities for scientific cooperation?

Dear Colleagues, I hope this message finds you well. My name is Noor Al-Huda K. Hussein,and I am a researcher specializing in deep learning applications in genetic data analysis. I am currently...

18 July 2024 5,562 0 View

How can sustainable agriculture practices mitigate climate change and ensure food security and role of agriculture in environmental sustainability?

17 July 2024 1,712 12 View

How to create parameter and coordinate files for ligand in amber when FATAL error (maybe due to duplicate bond specifications) happens?

Hello, I'm trying to create parameter and coordinate files for a drug (PRG-A01) found on the following page: http://www.probechem.com/products_PRG-A01.html I used the guide made by Michael...

17 July 2024 3,472 3 View

How can technology contribute to global food security and sustainable agriculture practices contribute to poverty reduction and food security?

17 July 2024 7,745 6 View

How can I extract the mathematical equation from existing Neural Network Model?

There exists a neural network model designed to predict a specific output, detailed in a published article. The model comprises 14 inputs, each normalized with minimum and maximum parameters...

14 July 2024 2,714 3 View