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 × Ireland
1 × Taiwan
Collaborated with:
A.A.Matos M.T.Dashti G.Barthe S.Tarento
Talks about:
model (3) noninterfer (1) constraint (1) distribut (1) generic (1) complex (1) random (1) machin (1) formal (1) attack (1)

Person: Jan Cederquist

DBLP DBLP: Cederquist:Jan

Contributed to:

PDP 20142014
SAC 20112011
IJCAR 20042004

Wrote 3 papers:

PDP-2014-MatosC #distributed
Distributed Noninterference (AAM, JC), pp. 760–764.
SAC-2011-CederquistD #complexity #constraints
Complexity of fairness constraints for the Dolev-Yao attacker model (JC, MTD), pp. 1502–1509.
IJCAR-2004-BartheCT #formal method #random
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.

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.