An Abstract Model of Certificate Translation

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	Article
Authors:	Barthe, Gilles Kunz, César
Journal:	ACM Trans. Program. Lang. Syst.	Volume:	33
Number:	4	Pages:	13

Journal's impact factor:	0.95
@article{DBLP:journals/toplas/BartheK11, author = "Gilles Barthe and C{\'e}sar Kunz", doi = "10.1145/1985342.1985344", journal = "ACM Trans. Program. Lang. Syst.", note = "PARTNERS: IMDEA PROJECTS: HATS, NESSOS, DESAFIOS 10, PROMETIDOS CITE(03/03/2014):1", number = "4", pages = "13", title = "{A}n {A}bstract {M}odel of {C}ertificate {T}ranslation", volume = "33", year = "2011", }
Note:	PARTNERS: IMDEA PROJECTS: HATS, NESSOS, DESAFIOS 10, PROMETIDOS CITE(03/03/2014):1
[Bibtex]