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 × Canada
1 × Cyprus
1 × Spain
2 × USA
Collaborated with:
P.Ryan S.Bistarelli L.C.Paulson
Talks about:
secur (3) protocol (2) constraint (1) confidenti (1) mechanis (1) interact (1) special (1) kerbero (1) analysi (1) polici (1)

Person: Giampaolo Bella

DBLP DBLP: Bella:Giampaolo

Contributed to:

SAC 20042004
SAC 20032003
SAC 20022002
PADL 20012001
CAV 19981998

Wrote 5 papers:

SAC-2004-BellaR #security
Editoral message: special track on computer security (GB, PR), pp. 373–374.
SAC-2003-Bella #protocol
Availability of Protocol Goals (GB), pp. 312–317.
SAC-2002-Bell #interactive #policy #security #simulation
Interactive simulation of security policies (GB), pp. 247–252.
PADL-2001-BellaB #analysis #constraints #protocol #security
Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.
CAV-1998-BellaP #induction
Mechanising BAN Kerberos by the Inductive Method (GB, LCP), pp. 416–427.

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.