Search Sciweavers | Sciweavers

11603 search results - page 482 / 2321

» Securing Embedded Systems

148

click to vote

DC
1998

66views Internet Technology» more DC 1998»

A Logical Approach to Multilevel Security of Probabilistic Systems

15 years 6 months ago

Download www.cs.cornell.edu

James W. Gray III, Paul F. Syverson

claim paper

Read More »

147

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

15 years 6 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

139

click to vote

INTERNET
1998

81views more INTERNET 1998»

Securing Systems Against External Programs

15 years 6 months ago

Download pages.cs.brandeis.edu

Brant Hashii, Manoj Lal, Raju Pandey, Steven Samor...

claim paper

Read More »

171

click to vote

RE
2002
Springer

113views Software Engineering» more RE 2002»

Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach

15 years 6 months ago

Download www.um.es

José Ambrosio Toval Álvarez, Joaqu&i...

claim paper

Read More »

133

click to vote

SAC
2002
ACM

68views Applied Computing» more SAC 2002»

Using UMLsec and goal trees for secure systems development

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers