• 제목/요약/키워드: S-pi Calculus

검색결과 4건 처리시간 0.02초

분산 이동 프로세스 이동의 안전성 모델링을 위한 프로세스 대수 (A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes)

  • 최영복;이문근
    • 정보과학회 논문지
    • /
    • 제43권3호
    • /
    • pp.314-326
    • /
    • 2016
  • 엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. ${\pi}$-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) ${\pi}$-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 ${\delta}$-calculus를 제안한다. ${\delta}$-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.

IBC-Based Entity Authentication Protocols for Federated Cloud Systems

  • Cao, Chenlei;Zhang, Ru;Zhang, Mengyi;Yang, Yixian
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제7권5호
    • /
    • pp.1291-1312
    • /
    • 2013
  • Cloud computing changes the service models of information systems and accelerates the pace of technological innovation of consumer electronics. However, it also brings new security issues. As one of the important foundations of various cloud security solutions, entity authentication is attracting increasing interest of many researchers. This article proposes a layered security architecture to provide a trust transmission mechanism among cloud systems maintained by different organizations. Based on the security architecture, four protocols are proposed to implement mutual authentication, data sharing and secure data transmission in federated cloud systems. The protocols not only can ensure the confidentiality of the data transferred, but also resist man-in-the-middle attacks and masquerading attacks. Additionally, the security properties of the four protocols have been proved by S-pi calculus formal verification. Finally, the performance of the protocols is investigated in a lab environment and the feasibility of the security architecture has been verified under a hybrid cloud system.

병행성 이론에 기반한 자바 라이브러리 설계 (Design of Java library base on pi-calculus)

  • 신현삼;김재우;권기항
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
    • /
    • pp.133-136
    • /
    • 2000
  • 자바에서 또한 이러한 병행성 프로그램을 지원하기 위한 다양한 언어적 지원과 병행적인 요건을 지원하고 있다. Thread class지원, Synchronized 예약어, 상호협동 관계를 표현하기위한 wait(), notify(), notifyAll() 메서드 , monitor 메커니즘등을 지원하고 있다. 하지만 이는 아주 저 수준의 지원형태이며 여러 가지 문제점을 야기할 수 있다. 이에 대해 병행적 이론의 정수라고 할 수 있는 pi-calculus의 이론과 기법을 도입하여 새로운 시각으로 병행성 프로그래밍에 대한 접근을 하고자 한다. 여기에 실용적으로 많이 사용되고 발전되어온 자바에서 적용하고자 한다. pi-calculus에 기반한 pict를 모델로 하여 pict에서 지원하는 아주 명료한 연산자와 current object를 도입함으로써 보다 표현력과 확장성, 검증성이 뛰어난 고 수준 자바 라이브러리를 설계하고자 한다.

  • PDF

한국인의 치주조직상태에 관한 역학조사 (EPIDEMIOLOGICAL EVALUATION OF PERIODONTAL STATUS IN KOREAN ADULTS)

  • 한경윤;박준봉;정진형;정종평
    • Journal of Periodontal and Implant Science
    • /
    • 제24권3호
    • /
    • pp.458-471
    • /
    • 1994
  • To evaluate the periodontal status of Korean adults, 3,988 adults(20-69 years old) who lived in Kwangju, Chonnam, Taegu, and Kyungbuk districts were periodontally examined by plaque index(PI), calculus index(CI), gingival index(GI), periodontal disease index (PDI), and papillary bleeding index(PBI). The periodontal examination charts were grouped according to age and sex. And subsequently 200 periodontal examination charts in each age group were randomly selected according to sex. The differences of the indices among age groups and those between male and female in each age group were statistically analyzed by Chi-Square test. In PI, CI, GI, PDI, and PBI, there was no statistical significance in the difference between male and female in each age group(p>0.05). In male, PI of 60s age group($1.44{\pm}0.68$) was significantly higher than that of any age group(p<0.05), and in female PI of 20s age group($0.86{\pm}0.39$) was significantly lower than that of any other age group(p<0.05). CI of 60s age group in both male($1.67{\pm}0.70$) and female($1.63{\pm}0.91$) was significantly higher than that of any age group(p<0.05). GI of 20s age group in both male($0.85{\pm}0.66$) and female($0.67{\pm}0.60$) was significantly lower and GI of 60s age group in both male($1.37{\pm}0.60$) and female($1.44{\pm}0.84$) was higher than that of any age group(p<0.05). PDI in male was the lowest in 20s age group($0.70{\pm}0.73$), and was the highest in 60s age group($4.93{\pm}1.96$) (p<0.05). In female PDI of 20s age group($0.71{\pm}0.74$) was significantly lower than that of any age group(p<0.05). In male PBI of 20s age group($0.38{\pm}0.31$) was significantly lower than that of any age group(p<0.001). PBI in female was the lowest in 20s age group($0.35{\pm}0.30$) (p<0.001), and was the highest in 60s age group($1.09{\pm}0.76$) (p<0.05). The data insist that all the young populations of 20s age group should be interested in routine check for early diagnosis and prevention of periodontal disease, and a special education program of periodontal health care for young generation must be prepared, and the periodic recall check system for periodontal examination of middle age group must be supported by government.

  • PDF