Atjaunināt sīkdatņu piekrišanu

4th ACM Workshop on Formal Methods in Security Engineering (FMSE `06)

  • Formāts: 77 pages
  • Izdošanas datums: 02-Aug-2007
  • Izdevniecība: Curran Associates Inc
  • ISBN-10: 1604231955
  • ISBN-13: 9781604231953
Citas grāmatas par šo tēmu:
  • Cena: 80,82 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
4th ACM Workshop on Formal Methods in Security Engineering (FMSE `06)Palielināt
  • Formāts: 77 pages
  • Izdošanas datums: 02-Aug-2007
  • Izdevniecība: Curran Associates Inc
  • ISBN-10: 1604231955
  • ISBN-13: 9781604231953
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9781604231953.html
Chair's Welcome
FMSE 2006 Workshop Organization
Research Papers
Securing the Drop-Box Architecture for Assisted Living
1(12)
M. J. May
W. Shin
C. A. Gunter
I. Lee
P-Congruences as Non-interference for the Pi-calculus
13(10)
S. Crafa
An Intruder Model for Verifying Liveness in Security Protocols
23(10)
J. Cederquist
M. T. Dashti
Secure Information Flow with Random Assignment and Encryption
33(12)
G. Smith
R. Alpizar
Defeasible Security Policy Composition for Web Services
45(10)
A. J. Lee
J. P. Boyer
L. E. Olson
C. A. Gunter
NETRA: Seeing Through Access Control
55(12)
P. Naldurg
S. Schwoon
S. Rajamani
J. Lambert
Bridging the Gap Between Web Application Firewalls and Web Applications
67
L. Desmet
F. Piessens
W. Joosen
P. Verbaeten