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,135 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,160 19 View

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

08 September 2019 8,519 7 View

What is your opinion on the internationalization of university study?

07 August 2019 1,864 4 View

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

06 July 2019 1,529 4 View

Is it possible to implement ECC bilinear pairing in WSN?

06 July 2019 9,651 6 View

Is cybersecurity the future of computer science?

06 July 2019 3,850 3 View

What are the differences between multidisciplinary publisher and multidisciplinary journal?

06 July 2019 2,632 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,425 9 View

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

06 July 2019 907 16 View

Resistor definition in Piezoelectric bimorph with ANSYS workbench

Hello, good day! I am trying to simulate similar bimorph piezoelectric harvester with below commands. However, the output power doesn't change with resistor value. Please help to find the reason. ET,10,CIRCU94,0 !SET UP RESISTOR R,1,100000 !RESISTANCE VALUE TYPE,10 !SET ELEMENT TYPE E,1,2 !CREATE RESISTOR BETWEEN NODES 1 AND 2 Thanks in advance Regards,

02 March 2021 0 0 View

Is there a powerful system for the security of the systems distributed on IoT systems?

02 March 2021 3,858 10 View

What are the application of Fixed points thoery in Chemistry.?

It is said that fixed point theory has lot of applications not in the field of mathematics only but also in various areas. So I am looking for applications in Chemistry only..

26 February 2021 3,533 1 View

Can I ask did any good platform or journals for learning the calcluation on the reference governors and command governor?

Recently I face some problems with the mathematical ( calculation) on the reference governor and command governor, so I need some help from you all to get which platform or journal can let me...

23 February 2021 7,746 2 View

Are there methods for automatically mapping floodplains, fans and terraces?

I want to map these river geoforms with as little subjectivity as possible. I have a high resolution DEM generated by drone data.

22 February 2021 7,800 3 View

Special issue on PLS-SEM in Mathematics. Are you interested?

21 February 2021 5,601 3 View

What is the better software for approximation of 3D surface with equations?

I have a massive of x, y, z coordinates of 2D surface in 3D space, which builded in Ansys HFSS or AutoCAD. How can I get the analitical aproximation of this surface by formulas?

21 February 2021 3,444 7 View

Rearranging abbreviation list in LaTeX ?

Hi, I'm trying to rearrange an abbreviation list for a manuscript such that it would be listed in alphabetical order. Is there a function that does this automatically or is manual my only option?...

18 February 2021 4,870 2 View

Does qualitative research using closed and open ended survey and semi structured interviews qualify as triangulation?

I am using qualitative research to look at employee motivation. I will use a closed and open ended survey (for biodata information and general views to motivation) and semi structured interviews...

18 February 2021 436 11 View

How can I obtain a sine function along a path with known equation?

I have a symmetric airfoil with known equation. Now a sine function passes along the airfoil equation like following figure. I want to find the sine function in (x,y) coordinate system.

17 February 2021 1,594 12 View