Sciweavers

31 search results - page 1 / 7

» ieeeares 2010

10

IEEEARES
2010
IEEE

140views Security Privacy» more IEEEARES 2010»

Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain

13 years 12 months ago

Multi-dimensional Uncertainty Analysis in Secure and Dependable Domain

Download www.troposproject.org

Yudistira Asnar, Paolo Giorgini

claim paper

Read More »

14

IEEEARES
2010
IEEE

175views Security Privacy» more IEEEARES 2010»

Information Flow in Disaster Management Systems

13 years 12 months ago

Information Flow in Disaster Management Systems

Download www.brucker.ch

Achim D. Brucker, Dieter Hutter

claim paper

Read More »

15

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

13 years 9 months ago

Formal Specification and Analysis of an E-voting System

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

9

IEEEARES
2010
IEEE

148views Security Privacy» more IEEEARES 2010»

Katana: A Hot Patching Framework for ELF Executables

13 years 12 months ago

Katana: A Hot Patching Framework for ELF Executables

Download www.cs.dartmouth.edu

Ashwin Ramaswamy, Sergey Bratus, Sean W. Smith, Mi...

claim paper

Read More »

14

IEEEARES
2010
IEEE

210views Security Privacy» more IEEEARES 2010»

Investigating the Limitations of Java Annotations for Input Validation

13 years 12 months ago

Investigating the Limitations of Java Annotations for Input Validation

Download www.ii.uib.no

—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and veriﬁcation to security....

Federico Mancini, Dag Hovland, Khalid A. Mughal

claim paper

Read More »

« Prev « First page 1 / 7 Last » Next »