Search Sciweavers | Sciweavers

3821 search results - page 119 / 765

» A Security Model for Aglets

click to vote

SIGITE
2005
ACM

86views Information Technology» more SIGITE 2005»

Integration of information assurance and security into the IT2005 model curriculum

14 years 1 months ago

Download www.et.byu.edu

In this paper we present the context of the work of the Curriculum Committee on IT2005, the IT curriculum volume described in the Overview Draft document of the Joint Task Force f...

Melissa Jane Dark, Joseph J. Ekstrom, Barry M. Lun...

claim paper

Read More »

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

14 years 1 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

click to vote

JELIA
2004
Springer

133views Artificial Intelligence» more JELIA 2004»

SATMC: A SAT-Based Model Checker for Security Protocols

14 years 1 months ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna

claim paper

Read More »

click to vote

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

14 years 1 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

click to vote

SACMAT
2003
ACM

95views Control Systems» more SACMAT 2003»

Model driven security for process-oriented systems

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers