Sciweavers

8644 search results - page 58 / 1729

» On the Composition of Secure Systems

27

ISPEC
2009
Springer

107views Security Privacy» more ISPEC 2009»

An Empirical Investigation into the Security of Phone Features in SIP-Based VoIP Systems

14 years 3 months ago

An Empirical Investigation into the Security of Phone Features in SIP-Based VoIP Systems

Download cs.gmu.edu

Ruishan Zhang, Xinyuan Wang, Xiaohui Yang, Ryan Fa...

claim paper

Read More »

33

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

14 years 2 months ago

A Derivation System for Security Protocols and its Logical Formalization

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

22

ESORICS
1992
Springer

90views Security Privacy» more ESORICS 1992»

Towards Security in an Open Systems Federation

14 years 1 months ago

Towards Security in an Open Systems Federation

Download groups.csail.mit.edu

John A. Bull, Li Gong, Karen R. Sollins

claim paper

Read More »

28

CCS
2001
ACM

143views Security Privacy» more CCS 2001»

A Chinese wall security model for decentralized workflow systems

14 years 18 days ago

A Chinese wall security model for decentralized workflow systems

Download cimic.rutgers.edu

Keywords

Vijayalakshmi Atluri, Soon Ae Chun, Pietro Mazzole...

claim paper

Read More »

30

LACL
1998
Springer

106views Automated Reasoning» more LACL 1998»

Strict Compositionality and Literal Movement Grammars

14 years 1 months ago

Strict Compositionality and Literal Movement Grammars

Download www.linguistics.ucla.edu

Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...

Marcus Kracht

claim paper

Read More »

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