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 × China
1 × USA
Collaborated with:
M.Abi-Antoun P.Torr B.Hackett M.Das Z.Yang
Talks about:
check (2) implement (1) overflow (1) modular (1) diagram (1) conform (1) threat (1) buffer (1) secur (1) model (1)

Person: Daniel Wang

DBLP DBLP: Wang:Daniel

Contributed to:

ASE 20072007
ICSE 20062006

Wrote 2 papers:

ASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security
Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.
ICSE-2006-HackettDWY #composition #in the large
Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.

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.