Search Sciweavers | Sciweavers

8623 search results - page 15 / 1725

» Software engineering for secure systems

125

click to vote

SACMAT
2003
ACM

214views Control Systems» more SACMAT 2003»

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

15 years 9 months 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 »

Voted

KBSE
2005
IEEE

75views Software Engineering» more KBSE 2005»

Code security analysis with assertions

15 years 9 months ago

Download computing-research.open.ac.uk

Jan Jürjens, Mark Yampolskiy

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 9 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

109

click to vote

VMCAI
2004
Springer

88views Software Engineering» more VMCAI 2004»

Security, Protocols, and Trust

15 years 9 months ago

Download dimacs.rutgers.edu

Joshua D. Guttman

claim paper

Read More »

104

Voted

AC
2003
Springer

96views Software Engineering» more AC 2003»

Modeling Complexity in Secure Distributed Computing

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers