Can anyone explain how to carry out protocol analysis of mutual authentication mechanism over VPN?

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10?

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10? Since, the growth curve from day 2 to 10 won't be like the "Logistic curve" it might not follow logistic...

03 March 2021 1,401 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

What techniques can I use to determine the miscibility of polymer blends?

The term miscibility refers to the single-phase state in thermodynamics. I do not mean the compatibility of different components. To determine the miscibility I know several techniques such as...

03 March 2021 4,107 4 View

How to repeat an operation on an atom selection for multiple times in PyMol?

Hi, I am trying to construct a multi-layer fibril structure from a single layer in PyMol by translating the layer along the fibril axis. For now, I am able to use the Translate command in PyMol...

02 March 2021 4,569 4 View

Shall I skip the measurement model in SmartPLS?

Hello everyone, I had run a mediation model in SmartPLS using questionnaires that were already validated among my statistical population. A professor who edited my paper -though she is not...

01 March 2021 3,052 3 View

What is involved in morphological changes of SEM images of a substance?

In the sem analysis of CaCO3 nanaoparticles, the morphology images showed spherical shaped particles but the proposed morphology for these type of nanoparticles is trigonal. I prepared the...

01 March 2021 1,960 4 View

Joint behaviour in Abaqus is not captured well?

I am working on roof joint and trying to simulate the behaviour in Abaqus. I am successful in running the model but the final graph does not follow the experimental curve in the negative direction...

01 March 2021 6,661 3 View

How to define tie constraint between rigid body and another part in dynamic explicit model of Abaqus?

Hi dear researchers I connected a rigid body into the part of my structure by tie constraint and then I added displacement to rigid body, in static general step every thing is fine and these two...

28 February 2021 3,442 2 View

Does the circuit modeling for planar monopole antennas using Foster canonical forms give good approximation?

Hi researchers, I am searching for some accurate way to do the circuit modeling of planar CPW-fed monopole antennas. I have gone through the literature where mostly circuit modeling is done using...

28 February 2021 7,016 1 View

How to modify Johnson cook equation in ABAQUS?

I wanted to add an extra parameter to the existing Johnson cook equation in the ABAQUS simulation. How to add those extra parameters. Ref: A modified Johnson-Cook material model with strain...

28 February 2021 4,841 3 View

Arturo Geigel

I would recommend [1] as reference. Once read, you can ask more specific questions in this thread or contact me directly with questions specific to the implementation.

Regards

[1]Crazzolara, F., & Winskel, G. (2001, April). Petri nets in cryptographic protocols. In ipdps (Vol. 1, p. 149). Available at:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.588.1888&rep=rep1&type=pdf

Muhammad Usman Tariq

Conference Paper A Security Protocol for Mutual Authentication and Mobile VPN...