BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
Collaborated with:
L.C.Paulson M.C.Carlos G.Price R.F.Custódio
Talks about:
secur (2) multicast (1) protocol (1) ceremoni (1) verifi (1) threat (1) method (1) induct (1) updat (1) model (1)

Person: Jean Everson Martina

DBLP DBLP: Martina:Jean_Everson

Contributed to:

SAC 20132013

Wrote 2 papers:

SAC-2013-CarlosMPC #security
An updated threat model for security ceremonies (MCC, JEM, GP, RFC), pp. 1836–1843.
SAC-2013-MartinaP #induction #multi #protocol #security #using #verification
Verifying multicast-based security protocols using the inductive method (JEM, LCP), pp. 1824–1829.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.