Search Sciweavers | Sciweavers

11603 search results - page 483 / 2321

» Securing Embedded Systems

266

click to vote

SOFTWARE
2002

230views Applied Computing» more SOFTWARE 2002»

Correctness by Construction: Developing a Commercial Secure System

15 years 7 months ago

Download www.anthonyhall.org

Anthony Hall, Roderick Chapman

claim paper

Read More »

154

click to vote

ICEIS
2010
IEEE

130views Information Technology» more ICEIS 2010»

A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems

15 years 5 months ago

Download www.dis.uniroma1.it

Roberto Baldoni, Giorgia Lodi, Gregory Chockler, E...

claim paper

Read More »

122

click to vote

IJIPM
2010

63views more IJIPM 2010»

MPCS: Secure Account-based Mobile Payment System

15 years 4 months ago

Download www.humanpub.org

S. Britto R. Kumar, S. Albert Rabara

claim paper

Read More »

145

click to vote

IJSSE
2010

110views more IJSSE 2010»

Security Requirements Engineering for Evolving Software Systems: A Survey

15 years 4 months ago

Download computing-reports.open.ac.uk

Armstrong Nhlabatsi, Bashar Nuseibeh, Yijun Yu

claim paper

Read More »

140

click to vote

INFORMATICASI
2010

123views Communications» more INFORMATICASI 2010»

A Framework for Evaluating Deployed Security Systems: Is There a Chink in your ARMOR?

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers