How do I execute my project with span , can you share me your experience please ?

More Samah Alhusayni's questions See All

How we can correct the slide?

i am doing research on E.feacalis that is grown in dentin and after that, we did a gram stain for the sample my Q first does the gram stain consider as reliable tool for testing and seeing the...

14 February 2021 6,697 1 View

Calculating the CFU?

i am constructing research for the antibacterial activity of the medication and I am testing it by %RCC, so my Q after I did 10 serial dilutions for the bacterial suspension can we do plating for...

04 February 2021 5,886 1 View

How to determine the types of gene resistance of beta-lactamase to perform to my samples by PCR?

Greet to everyone. I did antibiotic resistance by vitek2 compact and I found beta-lactamase resistance phenotypically in Gram-negative bacteria. How can I determine types of bet-lactamase genes to...

05 September 2020 8,898 5 View

Hi, I want to run simulation with YASARA for different part of my protein separately but I dont know how to run?

I am working on enzyme engineering and want to run the simulation for my enzyme the open and closed conformation to see the effect of the mutation on my enzyme as its located on the lid. However,...

10 May 2020 2,625 1 View

Are there any guidelines to choose antibiotic genes resistance for beta-lactam to do multiplex PCR?

I isolated some Gram-negative isolates that appear high resistance to most antibiotics. I want to do multiplex PCR to isolates for beta-lactam gene resistance. are there any recommendations to...

22 February 2020 4,842 6 View

how to freeze blastocysts mice for gene expression test?

Embryo Mice RNA extraction

19 September 2019 4,906 2 View

Is there a way to transform a function of two variables into one variable?

Hello, Assume that I have Z=f(x)+g(y). Is there a way that I can write Z as a function of one variable w that relates f(w) and g(w)? Thanks in advance for your help,

29 August 2019 3,132 1 View

Does boiling method for extraction of bacterial DNA is suitable to obtain bacterial and plassmid DNA to work on antibiotic resistance genes?

I work on antibiotic resistance genes in bacteria. Resistance genes present on plasmid. I extract DNA using boiling method. Does this method suitable to obtain plasmid DNA to study resistance...

04 April 2019 6,639 15 View

Sample size in experimental probability?

according to the probability theory, suppose that we calculate the experimental probability of students who prefer mathematics and it was .70%from a sample of 20 students (14/20), is that correct...

06 January 2019 3,681 6 View

Is international journal of innovative research in information security a recognized journal? or it is a fake one?

I want to publish a paper at a journal but I am confused where my experience is not too good to differentiate between fake journals or not.

22 December 2018 4,472 2 View

Why should we choose deep learning to machine learning? Why is CNN better for image classification? Can I get Typical Answer?

What Characteristics makes CNN work better?

03 March 2021 1,458 4 View

What are some of the research gaps in machine learning and artificial intelligence in africa?

i would to know some of the research gaps in the artificial intelligence field in most african countries.

03 March 2021 6,145 3 View

Anyone plz suggest relevant topic for research in image processing+Deep learning.?

I have selected brain tumor images ...but now found that already lots of research done n this topic.

03 March 2021 5,774 3 View

After a reference from Int J Body Compos Res, can any body help?

Hi, I am after the reference below, my library says it cannot obtain a copy either locally or internationally, any help appreciated! Chris Wang ZM, Heshka S, Wielopolski L, Pi-Sunyer FX, Pierson...

03 March 2021 6,193 1 View

How to increase a model accuracy ?

dear community, my model is based feature extraction from non stationary signals using discrete Wavelet Transform and then using statistical features then machine learning classifiers in order to...

03 March 2021 6,994 5 View

How do you write a simplified C block code of this average-current control on PSIM?

This is a Buck (step-down) Converter and I am new to this program. I need to program with simplified C block and I actually don't know what to do. Can anyone show me how to do this? Or at least...

02 March 2021 8,233 1 View

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

02 March 2021 3,858 10 View

Can you share me how teacher education is managed in your respective national educational system?

I feel that the practice in teacher education in my country is below the expected performance level due to very poor management system. Hope I will learn something from your experiences.

02 March 2021 1,516 4 View

Do you know good and user-friendly programs to measure plant quantitative traits?

For my research i will need to measure plant quantitative traits (especially leaves area and roots length, but would be nice to add some more information). I recently discovered...

01 March 2021 5,035 2 View

How Relativistic effects is one reason for lanthanide contraction?

The Lanthanide contraction which is the decrease in ionic radii of the elements in the lanthanide series from atomic number 57, lanthanum, to 71, lutetium, is due to poor shielding of the 4f...

01 March 2021 2,272 4 View

Yashar Salami

Dear Samah Alhusayni

The AVANTSSAR project: a follow-up to the AVISPA project.

Automated Validation of Internet Security Protocols and Applications. (AVISPA) the project aims at developing a push-button, industrial-strength technology for the analysis of large-scale Internet security-sensitive protocols and applications.

SPAN is designed to help protocol developers in writing HLPSL specifications. From an HLPSL specification SPAN helps in interactively buiding Message Sequence Charts (MSC) of the protocol execution. Since SPAN implements an active intruder, it can also be used to interactively find and build attacks over protocols.

The objective of this short tutorial is to show how to use SPAN to understand and debug HLPSL specifications used in the AVISPA cryptographic protocol verification tool. The reader is supposed to be familiar with the HLPSL language, if not please read the HLPSL tutorial first.

link download Avispa: http://people.irisa.fr/Thomas.Genet/span/

link download Avispa Tutorial: https://hal.archives-ouvertes.fr/hal-01213074

link youtube Avispa Tutorial:https://www.youtube.com/watch?v=YvgHw5pr5bA

Thesis Contraintes d'ordre et automates d'arbres pour les preuves d...

Best regards

Samah Alhusayni

Thanks alot for your explain , i am download span and working good

but I can’t programming with HLPSL and i hope helping in this field

Samar Taha Yousif

Thank you for sharing this question

Welcome ..

This paper is useful for you to learn the HLPSL language.

Article Towards an Independent Semantics and Verification Technology...

Best regards.

Thank you

Saeed Ullah Jan

Install Virtual Machine (lite) on your system,

Then Insall Ubuntu there,

Visit and Download SPAN

There you can define each peer role.

e.g.

role Alice

...............

Then

role Bob

.............. and press simulation

Also attack simulation etc

Thank you dr Saeed i do it all and span working good the roles clear but the programming of it with HLPSL is still hard to me

This tutorial video can be useful for you.

https://www.youtube.com/watch?v=YvgHw5pr5bA