Sciweavers

8644 search results - page 31 / 1729

» On the Composition of Secure Systems

15

HICSS
1998
IEEE

97views Biometrics» more HICSS 1998»

Applying the Composition Principle to Verify a Hierarchy of Security Servers

13 years 12 months ago

Applying the Composition Principle to Verify a Hierarchy of Security Servers

Download seclab.cs.ucdavis.edu

Mark Heckman, Karl N. Levitt

claim paper

Read More »

23

MPC
2010
Springer

156views Mathematics» more MPC 2010»

Compositionality of Secure Information Flow

13 years 11 months ago

Compositionality of Secure Information Flow

Download mpc-amast2010.fsg.ulaval.ca

Catuscia Palamidessi

claim paper

Read More »

17

COMPSAC
2001
IEEE

113views Software Engineering» more COMPSAC 2001»

A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and So

13 years 11 months ago

A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and So

Download www.sce.carleton.ca

David Mennie, Bernard Pagurek

claim paper

Read More »

16

SAC
2008
ACM

82views Applied Computing» more SAC 2008»

Securing aspect composition

13 years 7 months ago

Securing aspect composition

Download eprints.lancs.ac.uk

Andrew Camilleri, Lynne Blair, Geoffrey Coulson

claim paper

Read More »

25

POLICY
2001
Springer

112views Computer Networks» more POLICY 2001»

The Ponder Policy Specification Language

14 years 3 days ago

The Ponder Policy Specification Language

Download www.doc.ic.ac.uk

The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...

Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...

claim paper

Read More »

« Prev « First page 31 / 1729 Last » Next »