Search Sciweavers | Sciweavers

3821 search results - page 41 / 765

» A Security Model for Aglets

click to vote

IFIP
2010
Springer

160views Programming Languages» more IFIP 2010»

Reasoning about Probabilistic Security Using Task-PIOAs

13 years 2 months ago

Download www.entcs.org

Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...

Aaron D. Jaggard, Catherine Meadows, Michael Mislo...

claim paper

Read More »

click to vote

CCS
2010
ACM

209views Security Privacy» more CCS 2010»

Inference and analysis of formal models of botnet command and control protocols

13 years 7 months ago

Download bitblaze.cs.berkeley.edu

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...

claim paper

Read More »

click to vote

ISI
2006
Springer

68views Security Privacy» more ISI 2006»

A Trust Model for Uncertain Interactions in Ubiquitous Environments

13 years 7 months ago

Download uclab.khu.ac.kr

Hung Le Xuan, Hassan Jameel, Seong Jin Cho, Weiwei...

claim paper

Read More »

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

13 years 6 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers