Works matching IS 16155262 AND DT 2007 AND VI 6 AND IP 2/3

Results: 7

Transformational typing and unification for automatically correcting insecure programs.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 107, doi. 10.1007/s10207-007-0016-z

By:

Köpf, Boris;
Mantel, Heiko

Publication type:

Article

Dynamic security labels and static information flow control.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 67, doi. 10.1007/s10207-007-0019-9

By:

Zheng, Lantian;
Myers, Andrew

Publication type:

Article

Audit-based compliance control.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 133, doi. 10.1007/s10207-007-0017-y

By:

Cederquist, J.;
Corin, R.;
Dekker, M.;
Etalle, S.;
Hartog, J.;
Lenzini, G.

Publication type:

Article

Trust structures.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 153, doi. 10.1007/s10207-007-0014-1

By:

Krukow, Karl;
Nielsen, Mogens

Publication type:

Article

Instruction-level security typing by abstract interpretation.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 85, doi. 10.1007/s10207-007-0015-0

By:

Francesco, Nicoletta;
Martini, Luca

Publication type:

Article

An algebraic approach to the verification of a class of Diffie-Hellman protocols.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 183, doi. 10.1007/s10207-007-0013-2

By:

Delicata, Rob;
Schneider, Steve

Publication type:

Article

Guest Editors’ Preface.

Published in:

International Journal of Information Security, 2007, v. 6, n. 2/3, p. 65, doi. 10.1007/s10207-007-0012-3

By:

Dimitrakos, Theo;
Martinelli, Fabio;
Ryan, Peter;
Schneider, Steve

Publication type:

Article