Search Sciweavers | Sciweavers

8 search results - page 2 / 2

» jcs 2007

click to vote

JCS
2007

84views more JCS 2007»

On the security of group communication schemes

13 years 8 months ago

Download www.cs.utsa.edu

Many emerging applications in both wired and wireless networks need support of secure group communications. There have been many secure group communication schemes in the setting ...

Shouhuai Xu

claim paper

Read More »

click to vote

JCS
2007

80views more JCS 2007»

Secure information flow for a concurrent language with scheduling

13 years 8 months ago

Download hal.archives-ouvertes.fr

Information ﬂow type systems provide an elegant means to enforce conﬁdentiality of programs. Using the proof assistant Isabelle/HOL, we have speciﬁed an information ﬂow ty...

Gilles Barthe, Leonor Prensa Nieto

claim paper

Read More »

click to vote

JCS
2008

124views more JCS 2008»

Securing information flow via dynamic capture of dependencies

13 years 8 months ago

Download www.cs.jhu.edu

Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...

Paritosh Shroff, Scott F. Smith, Mark Thober

claim paper

Read More »

« Prev « First page 2 / 2 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers