Wednesday, May 06, 2009

WebDAV

http://www.webdav.org

웹데브(WebDAV)는 기존의 웹이 읽기 전용이고 HTTP/1.1에 PUT, DELETE 등의 간단한 쓰기 웹의 확장 프로토클로 기본적인 WebDAV프로토클(RFC2518), 검색(DASL), 버전 관리 (RFC3253), 억세스 관리(ACL) 등을 포함하는 프로토클 Suite 입니다.


Apache2, IIS등의 웹서버가 WebDAV프로토클을 지원하며 리눅스, 매킨토시, MS윈도우 등이 Driver를 기본제공하며 많은 어플리케이션이 이 프로토클을 지원합니다.


최근 CVS의 단점을 극복하기 위한 버전컨트롤 툴인 Subversion은 WebDAV프로토클을 사용합니다.

PRISM - Probabilistic Symbolic Model Checker

PRISM - Probabilistic Symbolic Model Checker

Network Security Services (NSS)

Network Security Services (NSS)