Search Sciweavers | Sciweavers

8623 search results - page 15 / 1725

» Software engineering for secure systems

184

click to vote

SACMAT
2003
ACM

214views Control Systems» more SACMAT 2003»

An approach to engineer and enforce context constraints in an RBAC environment

16 years 18 days ago

Download wi.wu-wien.ac.at

This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...

Gustaf Neumann, Mark Strembeck

claim paper

Read More »

125

click to vote

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

16 years 28 days ago

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

154

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

16 years 21 days ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

159

Voted

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

16 years 21 days ago

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

153

click to vote

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers