BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
decis (2)
constraint (1)
compon (1)
deduct (1)
smalltalk (1)

Stem insecur$ (all stems)

4 papers:

FSEFSE-2012-KwonS #component #detection
Detecting and analyzing insecure component usage (TK, ZS), p. 5.
LICSLICS-2003-ChevalierKRT #protocol
An NP Decision Procedure for Protocol Insecurity with XOR (YC, RK, MR, MT), pp. 261–270.
LICSLICS-2003-Comon-LundhS #constraints #deduction #theorem proving
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
TOOLSTOOLS-USA-1991-ConradB #programming #smalltalk
Insecurities in Smalltalk Programming (BAC, ALB), pp. 195–202.

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.